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
- A linter for Soufflé Datalog☆14Updated last year
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- An interactive Datalog☆33Updated this week
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- ☆18Updated last month
- Datalog with equality for rust☆68Updated last month
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated 4 months ago
- The Flix Programming Book☆18Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- vertical + gpu + free join + datalog☆20Updated 4 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆69Updated last month
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- A book about datalog☆12Updated 2 years ago
- For hosting ATS3 and developing CodeDepot☆15Updated this week
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- an optimizing curry compiler☆14Updated 2 years ago
- ☆82Updated 8 months ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- A model context protocol server for solving complex numerical, optimization and logical constraint problems.☆38Updated this week
- Imagine a Dependently Typed Python☆11Updated 2 months ago
- Finite state machines as graphs☆59Updated 5 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last month