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☆25Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Datalog with equality for rust☆68Updated last month
- ☆18Updated 3 weeks ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- A linter for Soufflé Datalog☆14Updated last year
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆18Updated 6 months ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 4 months ago
- A DuckDB extension to evaluate the Rhai scripting language as part of SQL.☆17Updated 2 weeks ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- For hosting ATS3 and developing CodeDepot☆14Updated this week
- A general purpose relational language☆19Updated 5 years ago
- How to read Lean☆17Updated 4 months ago
- LLIR cross-language post-link optimiser for OCaml and C☆17Updated 3 years ago
- Foundations of Computer Science notebooks☆16Updated 7 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated 3 months ago
- A book about datalog☆12Updated 2 years ago
- vertical + gpu + free join + datalog☆20Updated 3 months ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- Slog 1.0☆43Updated 11 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- egg is a flexible, high-performance e-graph library☆12Updated last year
- The Zenon theorem prover☆15Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- ☆13Updated 3 years ago