ljwagerfield / crdtLinks
CRDT Tutorial for Beginners (a digestible explanation with less math!)
☆355Updated 3 years ago
Alternatives and similar repositories for crdt
Users that are interested in crdt are comparing it to the libraries listed below
Sorting:
- A collection of awesome CRDT resources☆1,314Updated 4 years ago
- ☆1,031Updated 10 years ago
- Logical Clocks for Eventually Consistent Systems☆361Updated 7 years ago
- Source of the crdt.tech website☆457Updated 2 months ago
- A conflict-free replicated JSON datatype (CRDT) in Scala☆298Updated 4 years ago
- Convergent Replicated Data Types☆657Updated 9 years ago
- Reference implementations of state-based CRDTs that offer deltas for all mutations.☆327Updated last year
- List of FoundationDB resources☆213Updated last month
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆74Updated 2 years ago
- A collection of CRDT benchmarks☆503Updated last year
- An example implementations of various CRDTs☆101Updated last year
- ☆249Updated 8 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆333Updated 7 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 10 months ago
- A document data model on FoundationDB, implementing MongoDB® wire protocol☆219Updated 4 years ago
- CRDT toolbox☆201Updated 12 years ago
- A highly-configurable, distributed, realtime database that manages a state tree shared among many peers.☆902Updated 2 years ago
- A Logical Clock for Static and Dynamic Systems☆160Updated 7 years ago
- Programming Models and Languages for Distributed Computation☆239Updated 6 years ago
- ☆101Updated 7 years ago
- CASPaxos: Replicated State Machines without logs☆102Updated 6 years ago
- Awesome list of distributed transactions☆731Updated 3 years ago
- A record-oriented store built on FoundationDB☆638Updated last week
- ReplicationBenchmarker is a performance evaluation framework for replication mechanisms used in collaborative applications.☆27Updated 9 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- Server-managed CRDTs based on Akka☆225Updated 9 years ago
- A curated list of TLA+ resources.☆154Updated last year
- Black-box transactional safety checker based on cycle detection☆670Updated 4 months ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- A TLA+ guide☆279Updated 3 years ago