madgen / datalog-crdtLinks
Some CRDT implementations in Datalog
☆16Updated 7 years ago
Alternatives and similar repositories for datalog-crdt
Users that are interested in datalog-crdt are comparing it to the libraries listed below
Sorting:
- Engines, queries, and data for dynamic Datalog computation☆128Updated 4 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- a datalog interpreter in typescript☆212Updated 9 months ago
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- An open-source database inspired by Datomic☆31Updated last year
- syn·di·cate: a language for interactive programs☆158Updated 7 months ago
- Build UI declaratively with Datalog.☆137Updated 2 years ago
- ☆70Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆81Updated 2 weeks ago
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- Another attempt to realize my programming language☆23Updated 8 months ago
- an edge database☆30Updated last year
- Tunable sorting for responsive robustness and beyond☆18Updated 7 months ago
- μKanren in Elm☆43Updated 8 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- ☆37Updated 3 years ago
- This package contains a lightweight deductive database system in OCaml☆41Updated 3 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- Kanren with databases☆44Updated last year
- simplified query engine based on logic programming paradigm☆154Updated 6 years ago
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 11 months ago
- a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly☆262Updated 4 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆175Updated 3 weeks ago
- Unison Codebase UI☆46Updated 3 years ago