トピック · datalog

datalog

datalog がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。

リポジトリ

総スター数

11,538

平均スター数

1,442

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.
★ 259

#1
cozo ↗@cozodbRust
Datalogをクエリに使用するトランザクション型のリレーショナルグラフベクトルデータベース。AIのための海馬！
★ 4,104+7直近 7 日のスター増減
#2
logica ↗@EvgSkvJupyter Notebook
LogicaはSQLにコンパイルされる論理プログラミング言語です。DuckDB、Google BigQuery、PostgreSQL、SQLite上で動作します。
★ 2,132+0直近 7 日のスター増減
#3
datahike ↗@replikativClojure
すべての人に向けた、バージョニング対応、高速、分散型のDatalogエンジン
★ 1,869+2直近 7 日のスター増減
#4
souffle ↗@souffle-langC++
Soufflé は、ホーン節で解析を作成するツール設計者向けの Datalog のバリアントです。論理仕様からネイティブな並列 C++ プログラムを合成します。
★ 1,155+3直近 7 日のスター増減
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 634+0直近 7 日のスター増減
#6
ascent ↗@s-arashRust
Rust による論理プログラミング
★ 578+2直近 7 日のスター増減
#7
semantic-python-overview ↗@pysemtec
Python とセマンティック技術（RDF、OWL、推論など）の両方に関連するプロジェクトの（主観的な）概要
★ 550+0直近 7 日のスター増減
#8
crepe ↗@ekzhangRust
プロシージャルマクロとしてRustに組み込まれたDatalogコンパイラ
★ 530+1直近 7 日のスター増減