TypeDB: the polymorphic database powered by types
A transactional, relational-graph-vector database that uses Datalog for ...
An immutable database. Developed by @juxt
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.
A curated list of Clojure resources for dealing with graph-like data.