mwhittaker / clocks
Time, Clocks, and the Ordering of Events
☆40Updated 3 years ago
Alternatives and similar repositories for clocks:
Users that are interested in clocks are comparing it to the libraries listed below
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- A collection of state machine replication protocols☆118Updated 2 years ago
- TLA+ specifications for Raft and variants☆62Updated 2 years ago
- CASPaxos: Replicated State Machines without logs☆99Updated 6 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 5 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated last year
- A curated list of TLA+ resources.☆66Updated 5 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- ☆21Updated 4 months ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆61Updated 4 years ago
- ☆26Updated 2 years ago
- Personal reading list/reference re: TLA+☆88Updated 7 years ago
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆56Updated 5 months ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 5 years ago
- Reading the linearizability paper with TLA+☆48Updated 2 years ago
- ☆14Updated 10 years ago
- A project to implement Augmented Time☆50Updated 10 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆72Updated 2 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- Fast linearizability checker☆66Updated 9 years ago
- ☆21Updated 3 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 3 years ago
- Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…☆50Updated 5 years ago
- NOPaxos consensus protocol☆134Updated 4 years ago
- TLA+ specifications for Kafka related algorithms☆64Updated 2 months ago
- Jepsen and Elle based Consistency Checking Interface☆20Updated 3 years ago
- Implementation of Raft consensus algorithm☆111Updated 10 years ago