Tópico · datalog

datalog

Repositórios de código aberto acompanhados marcados com datalog, ordenados por estrelas.

Repositórios

8

Total de estrelas

11.552

Média de estrelas

1.444

Participação

0,00%

Tópicos que aparecem com frequência ao lado de datalog no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com 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
Um banco de dados transacional, relacional, de grafos e vetorial que usa Datalog para consultas. O hipocampo para IA!
★ 4.104+5Variação de estrelas nos últimos 7 dias
#2
logica ↗@EvgSkvJupyter Notebook
Logica é uma linguagem de programação lógica que compila para SQL. Executa no DuckDB, Google BigQuery, PostgreSQL e SQLite.
★ 2.132+1Variação de estrelas nos últimos 7 dias
#3
datahike ↗@replikativClojure
Motor Datalog distribuído, rápido e versionado para todos.
★ 1.869+5Variação de estrelas nos últimos 7 dias
#4
souffle ↗@souffle-langC++
Soufflé é uma variante de Datalog para desenvolvedores de ferramentas que elaboram análises em cláusulas de Horn. O Soufflé sintetiza um programa C++ nativo e paralelo a partir de uma especificação lógica.
★ 1.155+3Variação de estrelas nos últimos 7 dias
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 633-3Variação de estrelas nos últimos 7 dias
#6
ascent ↗@s-arashRust
Programação lógica em Rust
★ 579+3Variação de estrelas nos últimos 7 dias
#7
semantic-python-overview ↗@pysemtec
Visão geral (subjetiva) de projetos relacionados tanto a Python quanto a tecnologias semânticas (RDF, OWL, Raciocínio, ...)
★ 550+0Variação de estrelas nos últimos 7 dias
#8
crepe ↗@ekzhangRust
Compilador Datalog embutido em Rust como uma macro procedural
★ 530+0Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos