主题 · 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 语言的逻辑编程。
★ 579+3近 7 天星标变化
#7
semantic-python-overview ↗@pysemtec
（主观）与 Python 及语义技术（RDF、OWL、推理等）相关项目的概览
★ 550+0近 7 天星标变化
#8
crepe ↗@ekzhangRust
以过程宏形式嵌入 Rust 的 Datalog 编译器
★ 530+0近 7 天星标变化

← 返回主题列表