frankmcsherry / datatoadLinks
An interactive Datalog
☆27Updated this week
Alternatives and similar repositories for datatoad
Users that are interested in datatoad are comparing it to the libraries listed below
Sorting:
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- For hosting ATS3 and developing CodeDepot☆15Updated last week
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- A general purpose relational language☆19Updated 5 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- ☆18Updated last month
- CHR2 to SQL conversion☆13Updated 9 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Macro-based string templating.☆21Updated this week
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 4 months ago
- Datalog with equality for rust☆68Updated last month
- Kanren with databases☆43Updated 10 months ago
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 9 months ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- Awesome datalog libraries, tools and resources☆61Updated 5 years ago
- An open-source database inspired by Datomic☆30Updated last year
- ☆11Updated 3 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 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, …☆46Updated 9 years ago
- 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
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆22Updated 3 weeks ago
- Your happy place for learning APL☆16Updated 2 years ago
- Run erlang as a WASI http server (vapourware)☆27Updated 7 months ago
- A Prolog library to connect to PostgreSQL databases☆99Updated last year