Topik · datalog

datalog

Repositori open source terpantau bertanda datalog, diurutkan berdasarkan bintang.

Repositori

8

Total bintang

11.538

Rata-rata bintang

1.442

Porsi

0,00%

Topik yang sering muncul berdampingan dengan datalog di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda 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.
★ 228

#1
cozo ↗@cozodbRust
Database relasional-graf-vektor transaksional yang menggunakan Datalog untuk kueri. Hippocampus untuk AI!
★ 4.099+7Perubahan bintang dalam 7 hari terakhir
#2
logica ↗@EvgSkvJupyter Notebook
Logica adalah bahasa pemrograman logika yang dikompilasi ke SQL. Berjalan di DuckDB, Google BigQuery, PostgreSQL, dan SQLite.
★ 2.132+0Perubahan bintang dalam 7 hari terakhir
#3
datahike ↗@replikativClojure
Mesin Datalog terdistribusi yang cepat, memiliki versi, dan untuk semua orang.
★ 1.866+2Perubahan bintang dalam 7 hari terakhir
#4
souffle ↗@souffle-langC++
Soufflé adalah varian dari Datalog untuk perancang alat yang membuat analisis dalam klausa Horn. Soufflé mensintesis program C++ paralel asli dari spesifikasi logika.
★ 1.152+3Perubahan bintang dalam 7 hari terakhir
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 635+0Perubahan bintang dalam 7 hari terakhir
#6
ascent ↗@s-arashRust
Pemrograman logika di Rust
★ 578+2Perubahan bintang dalam 7 hari terakhir
#7
semantic-python-overview ↗@pysemtec
tinjauan (subjektif) tentang proyek yang terkait dengan python dan teknologi semantik (RDF, OWL, Penalaran, ...)
★ 550+0Perubahan bintang dalam 7 hari terakhir
#8
crepe ↗@ekzhangRust
Kompiler Datalog yang disematkan dalam Rust sebagai makro prosedural.
★ 530+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik