TypeDB: the polymorphic database powered by types
A transactional, relational-graph-vector database that uses Datalog for ...
An immutable database for application development and time-travel data c...
A durable Datalog implementation adaptable for distribution.
DDlog is a programming language for incremental computation. It is well ...
A simple, fast and versatile Datalog database
Soufflé is a variant of Datalog for tool designers crafting analyses in ...
Securify v2.0
(subjective) overview of projects which are related both to python and s...
The CodeQL extractor and libraries for Go.
Datalog compiler embedded in Rust as a procedural macro
Research on integrating datalog & lambda calculus via monotonicity types
Clojure(Script) client for Declarative Dataflow.
A reactive query engine built on differential dataflow.
An in-memory datalog implementation for OCaml.