frankmcsherry / datatoadLinks
An interactive Datalog
☆56Updated 2 weeks ago
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☆27Updated 2 years ago
- Datalog with equality for rust☆71Updated this week
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- ☆32Updated last week
- A Rust port of Jane Street's Incremental library.☆28Updated 10 months ago
- ☆18Updated 6 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆140Updated 2 weeks ago
- self adjusting computations in rust☆137Updated 4 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆15Updated 4 years ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 8 months ago
- Minimal Prolog implemented in Rust☆46Updated last month
- A program for querying and modifying information in a datalog-like format backed by SQLite.☆40Updated 3 years ago
- Engines, queries, and data for dynamic Datalog computation☆131Updated 4 years ago
- Parser and serializer for the Turtle format☆11Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- An open-source database inspired by Datomic☆31Updated last year
- A lightweight Datalog engine in Rust☆57Updated 5 months ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆94Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 11 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆105Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆83Updated last month
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- ☆20Updated 2 years ago
- What do you call a pointer we stole the high bits off? An ointer.☆89Updated 2 years ago
- Static analysis and LSP for SQL in Rust☆87Updated 2 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆119Updated 3 weeks ago