Topic · datalog

datalog

Tracked open-source repos tagged datalog, sorted by stars.

Repos

8

Total stars

11,538

Avg. stars

1,442

Share

0.00%

Topics that frequently appear alongside datalog on the same repo.

Recent risers

Repos created in the last 90 days, tagged datalog.

#1
lemmalog ↗@JordyZomerRust
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.
★ 248

#1
cozo ↗@cozodbRust
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
★ 4,102+7Star change over the last 7 days
#2
logica ↗@EvgSkvJupyter Notebook
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
★ 2,132+0Star change over the last 7 days
#3
datahike ↗@replikativClojure
Versioned, fast, distributed Datalog engine for everyone.
★ 1,868+2Star change over the last 7 days
#4
souffle ↗@souffle-langC++
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
★ 1,155+3Star change over the last 7 days
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 634+0Star change over the last 7 days
#6
ascent ↗@s-arashRust
Logic programming in Rust
★ 578+2Star change over the last 7 days
#7
semantic-python-overview ↗@pysemtec
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
★ 550+0Star change over the last 7 days
#8
crepe ↗@ekzhangRust
Datalog compiler embedded in Rust as a procedural macro
★ 530+1Star change over the last 7 days

← Back to topics