主題 · datalog

datalog

標記 datalog 主題、收錄中的開源專案，依星數排序。

專案數

8

總星數

11,552

平均星數

1,444

佔比

0.00%

常跟 datalog 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 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.
★ 267

#1
cozo ↗@cozodbRust
一种事务性、关系图向量数据库，使用 Datalog 进行查询。AI 的海马体！
★ 4,104+5近 7 天星數變化
#2
logica ↗@EvgSkvJupyter Notebook
Logica 是一種可編譯為 SQL 的邏輯程式語言，運行於 DuckDB、Google BigQuery、PostgreSQL 與 SQLite。
★ 2,132+1近 7 天星數變化
#3
datahike ↗@replikativClojure
人人皆可使用的版本化、高速、分散式 Datalog 引擎。
★ 1,869+5近 7 天星數變化
#4
souffle ↗@souffle-langC++
Soufflé 是 Datalog 的變體，供工具設計人員使用 Horn 子句製作分析。Soufflé 從邏輯規格中合成原生平行 C++ 程式。
★ 1,155+3近 7 天星數變化
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 633-3近 7 天星數變化
#6
ascent ↗@s-arashRust
Rust 語言的邏輯程式設計。
★ 580+3近 7 天星數變化
#7
semantic-python-overview ↗@pysemtec
（主觀）與 Python 及語意技術（RDF、OWL、推理等）相關專案的概覽
★ 550+0近 7 天星數變化
#8
crepe ↗@ekzhangRust
以程序宏形式嵌入 Rust 的 Datalog 編譯器
★ 530+0近 7 天星數變化

← 返回主題列表