30 results found Sort:
- Filter by Primary Language:
- Rust (8)
- Clojure (4)
- Java (4)
- C++ (3)
- Prolog (2)
- TeX (1)
- C (1)
- TypeScript (1)
- Common Lisp (1)
- Haskell (1)
- Jupyter Notebook (1)
- Solidity (1)
- +
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Created
2022-10-14
1,801 commits to main branch, last one 2 days ago
An immutable database for application development and time-travel data compliance, with SQL and XTQL. Developed by @juxt
Created
2018-03-19
5,438 commits to main branch, last one a day ago
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Created
2020-10-09
904 commits to main branch, last one 20 hours ago
A fast, persistent, distributed & compositional Datalog engine for everyone.
Created
2018-01-05
1,562 commits to main branch, last one 5 days ago
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 writ...
Created
2018-03-20
2,012 commits to master branch, last one about a year ago
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.
Created
2016-03-12
10,621 commits to master branch, last one 2 days ago
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Created
2021-10-26
116 commits to main branch, last one about a year ago
Securify v2.0
Created
2020-01-22
16 commits to master branch, last one 2 years ago
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
Created
2020-10-25
91 commits to main branch, last one 7 months ago
Datalog compiler embedded in Rust as a procedural macro
Created
2020-08-31
63 commits to main branch, last one about a year ago
Research on integrating datalog & lambda calculus via monotonicity types
Created
2015-11-20
2,216 commits to master branch, last one about a year ago
logic programming in Rust
Created
2021-09-19
130 commits to master branch, last one 20 days ago
A language for building Docker/OCI container images
Created
2021-03-27
433 commits to main branch, last one 2 years ago
A curated list of Clojure resources for dealing with graph-like data.
Created
2020-10-25
70 commits to master branch, last one about a year ago
An in-memory datalog implementation for OCaml.
Created
2012-12-24
216 commits to master branch, last one about a year ago
The React state management library for write-heavy applications
Created
2020-10-06
104 commits to master branch, last one 2 years ago
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Created
2021-06-19
813 commits to main branch, last one 7 months ago
Datalog with support for SMT queries and first-order functional programming
Created
2019-04-19
791 commits to master branch, last one 8 months ago
The official repo of Doop, the declarative pointer analysis framework.
Created
2016-10-30
7,053 commits to master branch, last one 6 days ago
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Created
2022-08-10
198 commits to main branch, last one about a year ago
Haskell bindings for the Souffle datalog language
Created
2019-11-23
495 commits to master branch, last one 28 days ago
Entish is a declarative Datalog-like language for formal RPG rules
Created
2021-06-26
61 commits to main branch, last one 2 years ago
optimize your home bar with ✨logic programming✨
Created
2021-03-19
52 commits to master branch, last one 2 years ago
Reactive database environment for your files.
Created
2023-11-10
266 commits to master branch, last one 15 days ago
In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp
Created
2022-08-13
43 commits to master branch, last one 6 days ago
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Created
2022-10-25
144 commits to main branch, last one 8 days ago
A precise and scalable pointer analysis for LLVM, written in Ascent
Created
2023-08-04
103 commits to main branch, last one 8 days ago
Datalog that's as easy as ABC.
Created
2021-03-22
30 commits to master branch, last one 4 months ago
A fast in-memory rule engine
Created
2021-06-09
1,425 commits to main branch, last one a day ago
Reactive Reasoning
Created
2022-05-02
115 commits to master branch, last one about a year ago