xingyif / raft
Raft Consensus Algorithm
☆38Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for raft
- A fault-tolerant distributed key-value store using the Raft consensus algorithm.☆53Updated 4 years ago
- Python implementation of the Raft algorithm for distributed consensus☆155Updated 6 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 5 years ago
- This is an implementation of a log structure merge tree.☆60Updated 7 years ago
- Paxos in Python, tested with Jepsen☆31Updated 2 years ago
- An implementation of the RAFT consensus algorithm.☆91Updated 10 years ago
- Coordination Service for Distributed Systems☆104Updated 3 months ago
- Paxos implemented as a set of composable classes☆42Updated 8 years ago
- Distributed File System server implemented using RAFT Algorithm.☆16Updated 5 years ago
- Project for COS 518: distributed lock service☆25Updated 5 years ago
- asyncio RAFT algorithm bassed on aiohttp☆31Updated 9 years ago
- RocksDB/LevelDB inspired key-value database in Go☆10Updated 4 years ago
- A implementation of Raft in pure Python☆294Updated 9 years ago
- Asynchronous replication framework for distributed Python projects☆349Updated last year
- Simple implementation of Paxos protocol in Python☆76Updated 13 years ago
- Distributed systems lecture notes☆57Updated last week
- Distributed Programming Abstractions☆16Updated 5 years ago
- Time, Clocks, and the Ordering of Events☆41Updated 3 years ago
- ☆128Updated 6 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆50Updated last month
- Python distributed coordination framework.☆33Updated 9 years ago
- Go implement for Paxos algorithm☆52Updated 4 years ago
- A curated list of TLA+ resources.☆65Updated 5 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- A framework for distributed applications☆59Updated 4 years ago
- A key-value store implemented as a Log-Structured Merge Tree in C++☆71Updated 7 years ago
- Paper Summaries☆55Updated 3 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- ☆22Updated last year
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago