philzook58 / duckegg
An experiment in using DuckDB for a datalog / egg
☆25Updated last year
Alternatives and similar repositories for duckegg:
Users that are interested in duckegg are comparing it to the libraries listed below
- Datalog + Egg = Good☆66Updated last year
- ☆14Updated 8 months ago
- A Datalog Framework for Python☆11Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 10 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated this week
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆45Updated 9 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆16Updated 6 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆107Updated 2 months ago
- A DuckDB extension to evaluate the Rhai scripting language as part of SQL.☆16Updated last week
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Kanren with databases☆43Updated 8 months ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 3 months ago
- A programming language for data stream analytics.☆19Updated 2 months ago
- JSON minus Notation plus Macros☆21Updated 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
- ☆27Updated 3 weeks ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- A Djot implementation in Prolog☆24Updated last year
- A little library of bit-based data structures.☆14Updated 3 weeks ago
- egg is a flexible, high-performance e-graph library☆11Updated 11 months ago
- ☆80Updated 5 months ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 2 months ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- High-performance Python runtime extensions☆13Updated last week
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Rust implementation of sequence alignment / Levenshtein distance by A* acceleration of the DP algorithm☆21Updated 7 years ago
- A general purpose relational language☆20Updated 5 years ago