Sujet · datalog

datalog

Dépôts open source suivis étiquetés datalog, triés par étoiles.

Dépôts

8

Total d'étoiles

11 538

Étoiles en moyenne

1 442

Part

0,00%

Sujets qui apparaissent souvent aux côtés de datalog sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés 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.
★ 257

#1
cozo ↗@cozodbRust
Une base de données transactionnelle, relationnelle, orientée graphe et vecteur utilisant Datalog pour les requêtes. L'hippocampe pour l'IA !
★ 4 102+7Évolution des étoiles sur les 7 derniers jours
#2
logica ↗@EvgSkvJupyter Notebook
Logica est un langage de programmation logique qui compile vers SQL. Il fonctionne sur DuckDB, Google BigQuery, PostgreSQL et SQLite.
★ 2 132+0Évolution des étoiles sur les 7 derniers jours
#3
datahike ↗@replikativClojure
Moteur Datalog distribué, rapide et versionné pour tous.
★ 1 868+2Évolution des étoiles sur les 7 derniers jours
#4
souffle ↗@souffle-langC++
Soufflé est une variante de Datalog destinée aux concepteurs d'outils créant des analyses en clauses de Horn. Soufflé synthétise un programme C++ parallèle natif à partir d'une spécification logique.
★ 1 155+3Évolution des étoiles sur les 7 derniers jours
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 634+0Évolution des étoiles sur les 7 derniers jours
#6
ascent ↗@s-arashRust
Programmation logique en Rust
★ 578+2Évolution des étoiles sur les 7 derniers jours
#7
semantic-python-overview ↗@pysemtec
Vue d'ensemble (subjective) des projets liés à la fois à Python et aux technologies sémantiques (RDF, OWL, raisonnement, ...).
★ 550+0Évolution des étoiles sur les 7 derniers jours
#8
crepe ↗@ekzhangRust
Compilateur Datalog intégré en Rust sous forme de macro procédurale
★ 530+1Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets