Projects in Awesome Lists by HarvardPL
A curated list of projects in awesome lists by HarvardPL .
https://github.com/HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
datalog logic-programming smt static-analysis symbolic-execution
Last synced: 04 Apr 2025
https://github.com/HarvardPL/AbcDatalog
Datalog that's as easy as ABC.
datalog declarative-programming knowledge-base logic-programming rule-engine
Last synced: 15 Jun 2026