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
- An interactive Datalog☆49Updated this week
- Datalog with equality for rust☆68Updated 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 this week
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Updated 2 months ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- Libraries for declaring and using type-level values.☆11Updated 6 years ago
- A Rust hashconsing library.☆33Updated last year
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated 3 weeks ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆74Updated last month
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 4 years ago
- Schedule for ArtOfSAT☆10Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 10 months ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- ☆18Updated 5 years ago
- ☆83Updated 10 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 6 months ago
- Slog 1.0☆43Updated last year
- vertical + gpu + free join + datalog☆20Updated 6 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 7 months ago
- Python term rewriting☆30Updated 12 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 3 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated 2 weeks ago
- A book about datalog☆12Updated 2 years ago
- Awesome datalog libraries, tools and resources☆63Updated 5 years ago
- The Cubicle model checker☆14Updated last year
- A different approach to an E-graph library☆28Updated 3 months ago