datalog

General-purpose bitemporal database for SQL, Datalog & graph queries. Developed by @juxt

Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.

A durable Datalog implementation adaptable for distribution.

A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

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.

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

The CodeQL extractor and libraries for Go.

(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)

Securify v2.0

Research on integrating datalog & lambda calculus via monotonicity types

Clojure(Script) client for Declarative Dataflow.

Datalog compiler embedded in Rust as a procedural macro

A reactive query engine built on differential dataflow.

A language for building Docker/OCI container images

An in-memory datalog implementation for OCaml.

A curated list of Clojure resources for dealing with graph-like data.

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

The React state management library for write-heavy applications

simplified query engine based on logic programming paradigm