32 results found Sort:
- Filter by Primary Language:
- Rust (9)
- Clojure (4)
- Java (4)
- C++ (3)
- Prolog (2)
- TypeScript (2)
- Jupyter Notebook (1)
- Common Lisp (1)
- Haskell (1)
- C (1)
- Solidity (1)
- TeX (1)
- +
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Created
2022-10-14
1,806 commits to main branch, last one 25 days ago
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
Created
2018-03-19
6,046 commits to main branch, last one 22 hours ago
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Created
2020-10-09
1,033 commits to main branch, last one 2 days ago
A fast, immutable, distributed & compositional Datalog engine for everyone.
Created
2018-01-05
1,594 commits to main branch, last one 3 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,627 commits to master branch, last one about a month 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 3 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 about a year 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
Logic programming in Rust
Created
2021-09-19
138 commits to master branch, last one 9 days ago
Research on integrating datalog & lambda calculus via monotonicity types
Created
2015-11-20
2,216 commits to master branch, last one 2 years ago
A language for building Docker/OCI container images
This repository has been archived
(exclude archived)
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 2 years ago
An in-memory datalog implementation for OCaml.
Created
2012-12-24
223 commits to master branch, last one about a month ago
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Created
2021-06-19
813 commits to main 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 3 years ago
The official repo of Doop, the declarative pointer analysis framework.
Created
2016-10-30
7,060 commits to master branch, last one 18 hours ago
Datalog with support for SMT queries and first-order functional programming
Created
2019-04-19
813 commits to master branch, last one 22 days ago
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Created
2022-08-10
199 commits to main branch, last one 4 months ago
Haskell bindings for the Souffle datalog language
Created
2019-11-23
495 commits to master branch, last one 6 months ago
Entish is a declarative Datalog-like language for formal RPG rules
Created
2021-06-26
61 commits to main branch, last one 3 years ago
Reactive database environment for your files.
Created
2023-11-10
266 commits to master branch, last one 5 months ago
A fast in-memory rule engine
Created
2021-06-09
1,722 commits to main branch, last one 8 days ago
optimize your home bar with ✨logic programming✨
Created
2021-03-19
52 commits to master branch, last one 2 years ago
In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp
Created
2022-08-13
44 commits to master branch, last one 4 months ago
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Created
2022-10-25
158 commits to main branch, last one 18 days ago
A precise and scalable pointer analysis for LLVM, written in Ascent
Created
2023-08-04
120 commits to main branch, last one 19 days ago
Datalog that's as easy as ABC.
Created
2021-03-22
36 commits to master branch, last one 12 days ago
Reactive Reasoning
Created
2022-05-02
118 commits to master branch, last one 3 months ago