frankmcsherry / datatoadLinks
An interactive Datalog
☆47Updated last week
Alternatives and similar repositories for datatoad
Users that are interested in datatoad are comparing it to the libraries listed below
Sorting:
- Datalog with equality for rust☆68Updated this week
- ☆32Updated this week
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- A Rust port of Jane Street's Incremental library.☆27Updated 7 months ago
- An open-source database inspired by Datomic☆30Updated last year
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A lightweight Datalog engine in Rust☆57Updated 2 months ago
- self adjusting computations in rust☆137Updated 3 years ago
- A fast in-memory rule engine☆163Updated last week
- ☆20Updated 2 years ago
- Parser and serializer for the Turtle format☆11Updated 2 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆72Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 5 months ago
- FingerTree implemented in rust☆24Updated last year
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- A general purpose relational language☆19Updated 5 years ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 5 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- A Universal Configuration Grammar☆37Updated last month
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆22Updated last year
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 2 months ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- An Earley parser engine in Rust.☆35Updated last week
- Minimal Prolog implemented in Rust☆44Updated 10 months ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆93Updated 3 years ago
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- Diagnostic tools for timely dataflow computations☆46Updated 3 years ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year