Tema · datalog

datalog

Repositorios de código abierto monitorizados etiquetados con datalog, ordenados por estrellas.

Repositorios

8

Estrellas totales

11.538

Estrellas de media

1442

Proporción

0,00%

Temas que aparecen con frecuencia junto a datalog en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con 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.
★ 256

#1
cozo ↗@cozodbRust
Una base de datos transaccional, relacional y de gráficos vectoriales que utiliza Datalog para consultas. ¡El hipocampo para la IA!
★ 4102+7Variación de estrellas de los últimos 7 días
#2
logica ↗@EvgSkvJupyter Notebook
Logica es un lenguaje de programación lógica que se compila a SQL. Se ejecuta en DuckDB, Google BigQuery, PostgreSQL y SQLite.
★ 2132+0Variación de estrellas de los últimos 7 días
#3
datahike ↗@replikativClojure
Motor Datalog distribuido, rápido y versionado para todos
★ 1868+2Variación de estrellas de los últimos 7 días
#4
souffle ↗@souffle-langC++
Soufflé es una variante de Datalog para diseñadores de herramientas que crean análisis en cláusulas de Horn. Soufflé sintetiza un programa en C++ paralelo nativo a partir de una especificación lógica.
★ 1155+3Variación de estrellas de los últimos 7 días
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 634+0Variación de estrellas de los últimos 7 días
#6
ascent ↗@s-arashRust
Programación lógica en Rust.
★ 578+2Variación de estrellas de los últimos 7 días
#7
semantic-python-overview ↗@pysemtec
Visión general (subjetiva) de proyectos relacionados tanto con Python como con tecnologías semánticas (RDF, OWL, razonamiento, etc.).
★ 550+0Variación de estrellas de los últimos 7 días
#8
crepe ↗@ekzhangRust
Compilador Datalog incrustado en Rust como una macro procedural
★ 530+1Variación de estrellas de los últimos 7 días

← Volver a temas