frankmcsherry / datatoadLinks
An interactive Datalog
☆49Updated 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
- Datalog with equality for rust☆69Updated this week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆135Updated 7 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- ☆32Updated last week
- ☆18Updated 4 months ago
- A Rust port of Jane Street's Incremental library.☆27Updated 8 months ago
- self adjusting computations in rust☆136Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A lightweight Datalog engine in Rust☆57Updated 3 months ago
- A Prolog library to connect to PostgreSQL databases☆102Updated last year
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- An open-source database inspired by Datomic☆31Updated last year
- ☆20Updated 2 years ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 9 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 3 weeks ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 6 months ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 3 months ago
- A general purpose relational language☆19Updated 5 years ago
- A Universal Configuration Grammar☆37Updated last month
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆93Updated 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, …☆50Updated 9 years ago
- Parser and serializer for the Turtle format☆11Updated 2 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 7 months ago