A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
-
Updated
Aug 12, 2024 - Rust
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
An immutable SQL database for application development and time-travel data compliance. Developed by @juxt
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
A fast, immutable, distributed & compositional Datalog engine for everyone.
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
Securify v2.0
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
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
logic programming in Rust
Clojure(Script) client for Declarative Dataflow.
A reactive query engine built on differential dataflow.
A language for building Docker/OCI container images
A curated list of Clojure resources for dealing with graph-like data.
An in-memory datalog implementation for OCaml.
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
The React state management library for write-heavy applications
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."