#datalog (11 Repositories)
Ranked open-source repositories tagged with #datalog, scored by pull request acceptance likelihood and maintainer engagement velocity.
23.7%
2.6h
11 repositories tagged #datalog
HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
project-minigraf/minigraf
Embedded graph memory for AI agents, mobile apps, and the browser.
plast-lab/doop
The official repo of Doop, the declarative pointer analysis framework.
JordyZomer/lemmalog
A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.
homebaseio/homebase-react
The React state management library for write-heavy applications
comnik/declarative-dataflow
A reactive query engine built on differential dataflow.
sixthnormal/clj-3df
Clojure(Script) client for Declarative Dataflow.
eth-sri/securify2
Securify v2.0
luc-tielen/eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
ekzhang/percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
cozodb/cozo
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!