datalog
Here are 200 public repositories matching this topic...
Language:All
Sort:Most stars
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
- Updated
Dec 4, 2024 - Rust
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by@juxt
- Updated
Mar 18, 2025 - Clojure
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
- Updated
Mar 4, 2025 - Jupyter Notebook
A fast, immutable, distributed & compositional Datalog engine for everyone.
- Updated
Feb 4, 2025 - Clojure
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.
- Updated
Jul 7, 2023 - Java
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.
- Updated
Mar 12, 2025 - C++
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
- Updated
Feb 16, 2023 - Rust
Securify v2.0
- Updated
Dec 3, 2023 - Solidity
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
- Updated
Oct 30, 2023
Datalog compiler embedded in Rust as a procedural macro
- Updated
Mar 5, 2024 - Rust
The CodeQL extractor and libraries for Go.
- Updated
Jan 5, 2023
Logic programming in Rust
- Updated
Mar 2, 2025 - Rust
Research on integrating datalog & lambda calculus via monotonicity types
- Updated
Jun 21, 2022 - TeX
Clojure(Script) client for Declarative Dataflow.
- Updated
Nov 8, 2019 - Clojure
A reactive query engine built on differential dataflow.
- Updated
Jan 20, 2020 - Rust
A curated list of Clojure resources for dealing with graph-like data.
- Updated
Jul 28, 2024
A language for building Docker/OCI container images
- Updated
May 14, 2022 - Rust
An in-memory datalog implementation for OCaml.
- Updated
Oct 17, 2024 - Prolog
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
- Updated
Jan 22, 2024 - Haskell
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
- Updated
Jan 23, 2020 - Java
Improve this page
Add a description, image, and links to thedatalog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thedatalog topic, visit your repo's landing page and select "manage topics."