Thema · datalog

datalog

Erfasste Open-Source-Repos mit dem Tag datalog, sortiert nach Sternen.

Repos

8

Sterne gesamt

11.552

Sterne im Schnitt

1.444

Anteil

0,00%

Themen, die häufig gemeinsam mit datalog am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit datalog getaggt wurden.

#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
Eine transaktionale, relationale Graph-Vektor-Datenbank, die Datalog für Abfragen nutzt. Der Hippocampus für KI!
★ 4.104+5Sterne-Änderung der letzten 7 Tage
#2
logica ↗@EvgSkvJupyter Notebook
Logica ist eine Logikprogrammiersprache, die nach SQL kompiliert. Sie läuft auf DuckDB, Google BigQuery, PostgreSQL und SQLite.
★ 2.132+1Sterne-Änderung der letzten 7 Tage
#3
datahike ↗@replikativClojure
Versionierte, schnelle, verteilte Datalog-Engine für jedermann.
★ 1.869+5Sterne-Änderung der letzten 7 Tage
#4
souffle ↗@souffle-langC++
Soufflé ist eine Datalog-Variante für Werkzeugentwickler, die Analysen in Horn-Klauseln erstellen. Soufflé generiert ein natives, paralleles C++-Programm aus einer Logikspezifikation.
★ 1.155+3Sterne-Änderung der letzten 7 Tage
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 633-3Sterne-Änderung der letzten 7 Tage
#6
ascent ↗@s-arashRust
Logikprogrammierung in Rust
★ 579+3Sterne-Änderung der letzten 7 Tage
#7
semantic-python-overview ↗@pysemtec
(Subjektiver) Überblick über Projekte, die sowohl Python als auch semantische Technologien (RDF, OWL, Reasoning, ...) betreffen.
★ 550+0Sterne-Änderung der letzten 7 Tage
#8
crepe ↗@ekzhangRust
Datalog-Compiler, eingebettet in Rust als prozedurales Makro.
★ 530+0Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen