jtfmumm / curryon2018Links
Resources related to CurryOn 2018 Talk
☆49Updated 7 years ago
Alternatives and similar repositories for curryon2018
Users that are interested in curryon2018 are comparing it to the libraries listed below
Sorting:
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆74Updated 2 years ago
- Some CRDT implementations in Datalog☆16Updated 7 years ago
- CRDT Tutorial for Beginners (a digestible explanation with less math!)☆356Updated 3 years ago
- syn·di·cate: a language for interactive programs☆159Updated 7 months ago
- Logical Clocks for Eventually Consistent Systems☆361Updated 7 years ago
- Build UI declaratively with Datalog.☆137Updated 2 years ago
- Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.☆136Updated last year
- Beating the CAP theorem with the epidemic register☆17Updated 5 years ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- Request for Comments on changes to Eve☆26Updated 9 years ago
- Reference implementations of state-based CRDTs that offer deltas for all mutations.☆328Updated last year
- Simply Reactive! Declarative orchestration in Haskell using RDP☆274Updated 12 years ago
- Delta State-based CRDTs in Javascript☆198Updated 5 years ago
- a datalog interpreter in typescript☆212Updated 9 months ago
- ☆53Updated 9 months ago
- A generic zipper library for JavaScript☆29Updated 9 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 6 years ago
- The propagator system☆41Updated 9 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- ☆46Updated 2 years ago
- Interpreter for inference rules☆13Updated 7 years ago
- Tiny Actor Run-Time in JavaScript☆73Updated 8 years ago
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- Sandbox for playing around with CRDTs☆30Updated 8 years ago
- ☆249Updated 8 years ago
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆39Updated 6 years ago
- A Logical Clock for Static and Dynamic Systems☆160Updated 7 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago