A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
-
Updated
Oct 27, 2024 - Rust
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
The official repo of Doop, the declarative pointer analysis framework.
Documentation pages for the Nemo rules engine
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.
Logic programming in Rust
A fast in-memory rule engine
Datalog with support for SMT queries and first-order functional programming
A petrifyingly good logic programming language
Logic plus python types
An in-memory datalog implementation for OCaml.
metagraph of cyber: shelling point, coordination center and truth source for building superintelligence
A fast, immutable, distributed & compositional Datalog engine for everyone.
A web server that offers an HTTP/JSON API for interacting with Datomic databases.
A Ruby gem for interacting with Datomic through Datomic Flare.
Setting up Datomic Pro for Docker with Docker Compose.
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Add a description, image, and links to the datalog topic page so that developers can more easily learn about it.
To associate your repository with the datalog topic, visit your repo's landing page and select "manage topics."