CBaquero / delta-enabled-crdtsLinks
Reference implementations of state-based CRDTs that offer deltas for all mutations.
☆325Updated last year
Alternatives and similar repositories for delta-enabled-crdts
Users that are interested in delta-enabled-crdts are comparing it to the libraries listed below
Sorting:
- Logical Clocks for Eventually Consistent Systems☆361Updated 7 years ago
- A Logical Clock for Static and Dynamic Systems☆160Updated 7 years ago
- Convergent Replicated Data Types☆656Updated 9 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆331Updated 6 years ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 8 years ago
- Prototype implementation of Lasp in Erlang.☆890Updated 4 years ago
- An implementation of LDFI☆128Updated 6 years ago
- Programming Models and Languages for Distributed Computation☆239Updated 6 years ago
- 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
- An Implementation of Interval Tree Clock☆59Updated 4 years ago
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago
- Convergent replicated datatypes in Erlang☆355Updated 2 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆323Updated 3 years ago
- CASPaxos: Replicated State Machines without logs☆101Updated 6 years ago
- A conflict-free replicated JSON datatype (CRDT) in Scala☆298Updated 4 years ago
- Machi file store☆121Updated 9 years ago
- Consus is a geo-replicated transactional key-value store.☆225Updated 7 years ago
- RON2.1 C++ implementation☆47Updated 6 years ago
- Epidemic Broadcast Trees☆194Updated 7 years ago
- Verifies the linearizability of experimentally accessible histories.☆405Updated 4 months ago
- ☆1,021Updated 9 years ago
- Embeddable multi-Paxos For The JVM☆76Updated 6 months ago
- List of FoundationDB resources☆212Updated 4 months ago
- A high-performance distributed shared-log for Ceph☆115Updated 5 years ago
- Fast linearizability checker☆66Updated 10 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- A cluster consistency platform☆652Updated this week
- Fastest RPC in the west☆735Updated 2 years ago