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☆127Updated 4 years ago
- syn·di·cate: a language for interactive programs☆159Updated 5 months ago
- Finite state machines as graphs☆60Updated 5 years ago
- a datalog interpreter in typescript☆212Updated 7 months ago
- Build UI declaratively with Datalog.☆134Updated 2 years ago
- an edge database☆30Updated last year
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- Awesome datalog libraries, tools and resources☆62Updated 5 years ago
- Another attempt to realize my programming language☆23Updated 6 months ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- An open-source database inspired by Datomic☆30Updated last year
- ☆69Updated 2 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Updated 12 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- An interactive Datalog☆47Updated last week
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- μKanren in Elm☆43Updated 8 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- Catalogue of the hisotry of Mathematics☆32Updated 3 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- ☆189Updated 5 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- Owl's Parallel & Distributed Computing Engine☆29Updated 6 years ago
- Unison Codebase UI☆46Updated 3 years ago