jtfmumm / curryon2018Links
Resources related to CurryOn 2018 Talk
☆49Updated 6 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…☆73Updated 2 years ago
- CRDT Tutorial for Beginners (a digestible explanation with less math!)☆348Updated 3 years ago
- A Logical Clock for Static and Dynamic Systems☆160Updated 7 years ago
- RON2.1 C++ implementation☆47Updated 6 years ago
- Reference implementations of state-based CRDTs that offer deltas for all mutations.☆325Updated last year
- Logical Clocks for Eventually Consistent Systems☆361Updated 7 years ago
- An example implementations of various CRDTs☆100Updated last year
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- Delta State-based CRDTs in Javascript☆197Updated 5 years ago
- Commutative graphs made for real-time, offline-tolerant replication☆56Updated 6 years ago
- syn·di·cate: a language for interactive programs☆159Updated 4 months ago
- Build UI declaratively with Datalog.☆134Updated 2 years ago
- A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).☆76Updated 4 years ago
- ☆249Updated 8 years ago
- RRB-tree implemented as a library in C.☆170Updated 10 years ago
- Tiny Actor Run-Time in JavaScript☆73Updated 8 years ago
- A generic zipper library for JavaScript☆29Updated 8 years ago
- Manage state with finesse☆186Updated 2 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆38Updated 5 years ago
- Different TLA+ specifications, mostly for learning purposes☆32Updated last year
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 12 years ago
- ☆189Updated 5 years ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- A TLA+ guide☆278Updated 3 years ago
- Programming Models and Languages for Distributed Computation☆239Updated 6 years ago
- All aboard the STATEBUS!!!☆118Updated last month
- ☆101Updated 3 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆133Updated last month