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…☆75Updated 3 years ago
- syn·di·cate: a language for interactive programs☆159Updated last month
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆63Updated last month
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆39Updated 6 years ago
- [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.☆484Updated 5 years ago
- Some CRDT implementations in Datalog☆18Updated 7 years ago
- FRP with 3DF and Differential Dataflow.☆27Updated 6 years ago
- A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).☆79Updated 4 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆74Updated 3 weeks ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- Prototype Mixed-consistency transaction implementation☆65Updated 7 years ago
- Replication of CRDTs☆38Updated 4 years ago
- Reference implementations of state-based CRDTs that offer deltas for all mutations.☆336Updated 2 years ago
- Low-latency Overlog runtime☆18Updated 10 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- Build UI declaratively with Datalog.☆141Updated 3 years ago
- ☆190Updated 6 years ago
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- Sandbox for playing around with CRDTs☆31Updated 8 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- CRDT implementations to use with Antidote☆36Updated 3 years ago
- This is a library for "Overveld-style" constraint relaxation.☆69Updated 2 years ago
- Visualized CRDT executions in a web page to explain their semantics☆18Updated 7 years ago
- Beating the CAP theorem with the epidemic register☆17Updated 5 years ago
- Logical Clocks for Eventually Consistent Systems☆365Updated 7 years ago
- Various experiments in relational programming☆273Updated 3 years ago
- The Art of the Propagator. See also:☆177Updated last year
- Tiny Actor Run-Time in JavaScript☆73Updated 9 years ago