frankmcsherry / datatoadLinks
An interactive Datalog
☆51Updated last 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
- A Rust port of Jane Street's Incremental library.☆27Updated 8 months ago
- Datalog with equality for rust☆69Updated this week
- ☆32Updated last week
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆137Updated 8 months ago
- A program for querying and modifying information in a datalog-like format backed by SQLite.☆40Updated 3 years ago
- ☆18Updated 4 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A lightweight Datalog engine in Rust☆57Updated 4 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- An open-source database inspired by Datomic☆31Updated last year
- Diagnostic tools for timely dataflow computations☆46Updated 3 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 4 months ago
- self adjusting computations in rust☆136Updated 4 years ago
- A Universal Configuration Grammar☆37Updated 2 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 6 months ago
- c'est le marché☆40Updated 2 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- Minimal Prolog implemented in Rust☆45Updated last year
- ☆20Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 9 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 7 months ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 8 months ago
- depict – share mental models better☆38Updated 2 years ago