ept / byzantine-eventual
Byzantine Eventual Consistency
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for byzantine-eventual
- A pseudo-random deterministic merkle tree built on LMDB☆60Updated 7 months ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆72Updated last year
- ☆43Updated 4 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆59Updated 3 years ago
- small distributed database protocol☆30Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- A homomorphic hash function☆75Updated 5 years ago
- Visualized CRDT executions in a web page to explain their semantics☆16Updated 6 years ago
- ☆27Updated 3 years ago
- Azure Cosmos TLA+ specifications☆20Updated 11 months ago
- Efficient state-based CRDT replication and anti-entropy☆56Updated this week
- framework for evaluating (planet-scale) consensus protocols☆126Updated 8 months ago
- [ARCHIVED] This module provides a thin wrapper over a datastore and provides caching strategies.☆49Updated last year
- Go implementation of Rateless IBLTs.☆40Updated 3 months ago
- Rust CASPaxos implementation☆64Updated 4 years ago
- Index data into queriable collections using IPLD Prolly Trees☆21Updated 2 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 3 months ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A collection of state machine replication protocols☆118Updated last year
- Testground: SDK for developing test plans in Go☆12Updated 6 months ago
- ☆22Updated 2 years ago
- A hash storage for content addressed systems☆28Updated 2 years ago
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆188Updated 2 years ago
- Verification-Driven Development☆21Updated 3 years ago
- Now deprecated in favor of using wapc-generated types and wrappers☆33Updated 3 years ago
- Logical clocks implementation in Rust☆44Updated 5 years ago
- Fast, SIMD-accelerated hash function for content-defined chunking☆22Updated 4 years ago
- In a nutshell, EinsteinDB is a persistent indexing scheme based off of LSH-KVX that exploits the distinct merits of hash index and B+-Tre…☆24Updated last year
- TLA+ specification of Flexible Paxos☆38Updated last year
- Append-only, on-disk key-value index☆63Updated last year