teslamate-org / teslamate
Self-hosted logger that records Tesla vehicle data into Postgres, with Grafana dashboards and MQTT publishing.
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.
datalevin / datalevin
A simple, fast and versatile Datalog database
egraphs-good / egglog
egraphs + datalog!
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.
replikativ / datahike
Versioned, fast, distributed Datalog engine for everyone.
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.
jagg-ix / zil-lean
Zil lang DSL for Lean 4
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.