☆630Aug 15, 2021Updated 4 years ago
Alternatives and similar repositories for epaxos
Users that are interested in epaxos are comparing it to the libraries listed below
Sorting:
- epaxos☆102Nov 26, 2015Updated 10 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆63Oct 30, 2020Updated 5 years ago
- Paxos protocol framework☆559Dec 29, 2023Updated 2 years ago
- ☆17Jun 8, 2021Updated 4 years ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆19Aug 28, 2024Updated last year
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 6 years ago
- A Pure Rust Implementation of Egalitarian Paxos☆49Feb 14, 2020Updated 6 years ago
- framework for evaluating (planet-scale) consensus protocols☆130Mar 1, 2024Updated last year
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆48May 22, 2023Updated 2 years ago
- Paxos Made Moderately Complex☆191Aug 1, 2024Updated last year
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆848Apr 18, 2022Updated 3 years ago
- Awesome list for Paxos and friends☆2,139May 29, 2024Updated last year
- LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a rel…☆1,955Jun 21, 2024Updated last year
- Paxos protocol variants framework☆26Mar 12, 2018Updated 7 years ago
- A collection of state machine replication protocols☆121Dec 8, 2022Updated 3 years ago
- Multicore in-memory storage engine☆399Oct 10, 2017Updated 8 years ago
- TLA+ specification for the Raft consensus algorithm☆506Feb 18, 2025Updated last year
- A list of papers about distributed consensus.☆2,610Aug 8, 2024Updated last year
- A cluster consistency platform☆661Feb 19, 2026Updated last week
- The Paxos library implemented in C++ that has been used in the WeChat production environment.☆3,375Dec 4, 2023Updated 2 years ago
- A clustered, masterless redis clone, built in Go☆33May 21, 2014Updated 11 years ago
- The PebblesDB write-optimized key-value store (SOSP 17)☆521Apr 16, 2024Updated last year
- ☆26May 22, 2022Updated 3 years ago
- ☆305Jun 9, 2024Updated last year
- First Practical and General-purpose Range Filter☆551Mar 11, 2022Updated 3 years ago
- Feed-forward Bloom filters☆53Jun 7, 2011Updated 14 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Verifies the linearizability of experimentally accessible histories.☆418Jan 6, 2026Updated last month
- NOPaxos consensus protocol☆139Nov 17, 2020Updated 5 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆94Mar 28, 2019Updated 6 years ago
- Beta release of Masstree.☆457Oct 15, 2023Updated 2 years ago
- PaxosStore has been deployed in WeChat production for more than two years, providing storage services for the core businesses of WeChat b…☆1,715Jul 17, 2020Updated 5 years ago
- TokuFT is a high-performance, transactional key-value store☆19May 6, 2020Updated 5 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆327Dec 13, 2021Updated 4 years ago
- Speculative Paxos replication protocol☆133Oct 14, 2016Updated 9 years ago
- A high-performance, memory-efficient concurrent hash table☆36Oct 5, 2013Updated 12 years ago
- A Distributed Key-Value Store for FAWN☆77Nov 6, 2010Updated 15 years ago
- CASPaxos: Replicated State Machines without logs☆104Oct 20, 2018Updated 7 years ago
- A collection of TLA⁺ specifications of varying complexities.☆1,454Updated this week