philzook58 / duckeggLinks
An experiment in using DuckDB for a datalog / egg
☆27Updated 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☆55Updated last week
- Datalog engine based on DuckDB☆10Updated 2 years ago
- ☆18Updated 5 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A DuckDB extension to evaluate the Rhai scripting language as part of SQL.☆21Updated 2 weeks ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- A Datalog Framework for Python☆15Updated 2 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆139Updated this week
- A logic programming language that has features of both Datalog and answer set programming.☆119Updated last week
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Datalog with equality for rust☆71Updated last week
- Tail the Binlog of a database☆15Updated 3 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 3 weeks ago
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- JSON minus Notation plus Macros☆23Updated 3 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 9 months ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 3 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- ☆83Updated last year
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- 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, …☆51Updated 10 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆82Updated 3 weeks ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated 2 months ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Engines, queries, and data for dynamic Datalog computation☆130Updated 4 years ago
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago