hachikuji / kafka-specification
TLA+ specification of the Kafka replication protocol
☆86Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for kafka-specification
- A TLA+ specification of the Apache BookKeeper replication protocol☆101Updated 8 months ago
- Embeddable multi-Paxos For The JVM☆74Updated 8 months ago
- Harry for Apache Cassandra®☆54Updated 2 months ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 4 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- ☆26Updated 2 years ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- Formal models of core Elasticsearch algorithms☆207Updated 5 years ago
- A collection of state machine replication protocols☆118Updated last year
- Interposition code for DEMi (Distributed Execution Minimizer)☆87Updated 8 years ago
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- TLA+ specifications for Kafka related algorithms☆52Updated last month
- An implementation of LDFI☆126Updated 6 years ago
- ☆19Updated 3 years ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- Rapid is a scalable distributed membership service☆132Updated last year
- Fast linearizability checker☆66Updated 9 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated last year
- The current backend of DBToaster, implemented in Scala.☆63Updated 2 years ago
- Persistent Adaptive Radix Trees in Java☆79Updated 4 years ago
- Distributed System Testing as a Service☆51Updated 9 months ago
- Deterministic transactional database layer on top of a stream processing engine☆25Updated 5 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 8 months ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆72Updated 9 years ago
- A tool to visualize distributed system logs☆75Updated 2 years ago
- ☆22Updated 5 years ago