GitHub repository: kexinrong/differential-datalog
Description: An incremental programming language