frankmcsherry / dynamic-datalogLinks
Engines, queries, and data for dynamic Datalog computation
☆132Updated 4 years ago
Alternatives and similar repositories for dynamic-datalog
Users that are interested in dynamic-datalog are comparing it to the libraries listed below
Sorting:
- A reactive query engine built on differential dataflow.☆322Updated 5 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆176Updated last month
- A lightweight Datalog engine in Rust☆57Updated 6 months ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Updated 6 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Various experiments in relational programming☆273Updated 3 years ago
- a datalog interpreter in typescript☆213Updated 11 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆405Updated 3 years ago
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- An interactive Datalog☆62Updated this week
- Datalog with support for SMT queries and first-order functional programming☆165Updated last month
- Diagnostic tools for timely dataflow computations☆48Updated 3 years ago
- An in-memory datalog implementation for OCaml.☆276Updated last year
- Datalog that's as easy as ABC.☆66Updated 4 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 9 years ago
- ☆87Updated last year
- Some CRDT implementations in Datalog☆18Updated 7 years ago
- Slog 1.0☆45Updated last year
- self adjusting computations in rust☆137Updated 4 years ago
- Kanren with databases☆44Updated last year
- syn·di·cate: a language for interactive programs☆158Updated 9 months ago
- Build UI declaratively with Datalog.☆140Updated 2 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆75Updated 3 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- Fungi: Typed incremental computation with names☆71Updated 6 years ago
- Datalog with equality for rust☆72Updated last week
- A synthesis-enabled solver for relational logic☆29Updated 7 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- The Materialize SQL parser☆30Updated 6 years ago