ept / byzantine-eventual
Byzantine Eventual Consistency
☆21Updated last year
Related projects: ⓘ
- TLA+ specifications related to Viewstamped Replication☆27Updated last year
- ☆43Updated 4 years ago
- ☆25Updated 2 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆59Updated 3 years ago
- A pseudo-random deterministic merkle tree built on LMDB☆54Updated 4 months ago
- A library for synchronizing remote data with minimum communication.☆26Updated last year
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆71Updated last year
- A tool to visualize distributed system logs☆73Updated 2 years ago
- Testground: SDK for developing test plans in Go☆12Updated 3 months ago
- ☆94Updated 2 years ago
- Azure Cosmos TLA+ specifications☆20Updated 9 months ago
- Verification-Driven Development☆21Updated 3 years ago
- A homomorphic hash function☆74Updated 5 years ago
- Viewstamped Replication for Rust☆62Updated last year
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- framework for evaluating (planet-scale) consensus protocols☆126Updated 6 months ago
- ☆21Updated last year
- ☆18Updated last year
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆35Updated last month
- small distributed database protocol☆30Updated 3 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 4 years ago
- Now deprecated in favor of using wapc-generated types and wrappers☆33Updated 3 years ago
- Reading the linearizability paper with TLA+☆47Updated 2 years ago
- Nearly generic prime field implementation in Go☆24Updated 4 years ago
- A basic log-structured flash datastore☆20Updated last year
- Rust CASPaxos implementation☆64Updated 3 years ago
- Tendermint + Sqlite3 = BFT Database Replication☆38Updated 6 years ago
- Apache Milagro Crypto Library - Rust Version☆31Updated last year
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago