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 2 years ago
- Datalog with equality for rust☆71Updated this week
- A Rust port of Jane Street's Incremental library.☆27Updated 9 months ago
- ☆32Updated last week
- ☆18Updated 5 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆139Updated this week
- Datalog + Egg = Good☆66Updated 2 years ago
- self adjusting computations in rust☆136Updated 4 years ago
- A lightweight Datalog engine in Rust☆57Updated 4 months ago
- An open-source database inspired by Datomic☆31Updated last year
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆81Updated 2 weeks ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆15Updated 4 years ago
- Diagnostic tools for timely dataflow computations☆47Updated 3 years ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 7 months ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆93Updated 3 years ago
- Minimal Prolog implemented in Rust☆45Updated 2 weeks ago
- A DuckDB extension to evaluate the Rhai scripting language as part of SQL.☆21Updated last week
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 10 months ago
- Parser and serializer for the Turtle format☆11Updated 2 years ago
- A modular implementation of timely dataflow in Rust☆119Updated 3 weeks ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- ☆20Updated 2 years ago
- The practical relational programing language for data-oriented applications☆211Updated 2 years ago
- Engines, queries, and data for dynamic Datalog computation☆128Updated 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 9 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- Hierarchical Greedy Graph☆15Updated 3 years ago