langston-barrett / duckalogLinks
Datalog engine based on DuckDB
☆10Updated 2 years ago
Alternatives and similar repositories for duckalog
Users that are interested in duckalog are comparing it to the libraries listed below
Sorting:
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Datalog with equality for rust☆69Updated 2 weeks ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆76Updated this week
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 3 weeks ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Updated 3 months ago
- A Rust hashconsing library.☆33Updated last year
- CHR2 to SQL conversion☆14Updated 10 years ago
- Schedule for ArtOfSAT☆10Updated last year
- An interactive Datalog☆50Updated last week
- A linter for Soufflé Datalog☆15Updated last year
- Libraries for declaring and using type-level values.☆11Updated 6 years ago
- A book about datalog☆12Updated 2 years ago
- ☆83Updated 11 months ago
- vertical + gpu + free join + datalog☆20Updated 7 months ago
- Slog 1.0☆43Updated last year
- A synthesis-enabled solver for relational logic☆28Updated 7 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 8 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 4 months ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 4 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- Galois Format Analysis Workbench☆21Updated last year
- The Daedalus data description language☆80Updated 6 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 10 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 7 months ago
- LLVM support for the lean theorem prover☆51Updated 4 years ago
- A formally verified bug finder☆13Updated 10 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated last month