philzook58 / duckeggLinks
An experiment in using DuckDB for a datalog / egg
☆28Updated 2 years ago
Alternatives and similar repositories for duckegg
Users that are interested in duckegg are comparing it to the libraries listed below
Sorting:
- An interactive Datalog☆62Updated this week
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 3 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆146Updated 2 months ago
- A Datalog Framework for Python☆15Updated 2 years ago
- A DuckDB extension to evaluate the Rhai scripting language as part of SQL.☆22Updated 3 weeks ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 5 months ago
- ☆19Updated 7 months ago
- Relational Algebra at your fingertips☆62Updated 11 years ago
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- A Djot implementation in Prolog☆26Updated this week
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated 3 weeks ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated last week
- Kanren with databases☆44Updated last year
- ☆87Updated last year
- A functional query language, implemented in Rust☆36Updated last month
- Trealla Prolog for the web☆54Updated last week
- A general purpose relational language☆19Updated 5 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- Datalog with equality for rust☆72Updated 2 weeks ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Updated 4 years ago
- Slog 1.0☆46Updated last year