teslamate-org / teslamate
A self-hosted data logger for your Tesla 🚘 [main maintainer=@JakobLichterfeld]
teslamate-org / teslamate
terminusdb / terminusdb
TerminusDB is a Knowledge Graph Database with Version Control. Time-travel, reason, collaborate, branch, merge, diff, and query your data with Datalog.
EvgSkv / logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
replikativ / datahike
Versioned, fast, distributed Datalog engine for everyone.
datalevin / datalevin
A simple, fast and versatile Datalog database
souffle-lang / souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
egraphs-good / egglog
egraphs + datalog!
bassmaster187 / TeslaLogger
TeslaLogger is a self hosted data logger for your Tesla Model S/3/X/Y. Actually it supports RaspberryPi 3B, 3B+, 4B, Docker and Synology NAS.
JordyZomer / lemmalog
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.