ongardie / raftscopeLinks
super hacky visualization of Raft
☆685Updated last year
Alternatives and similar repositories for raftscope
Users that are interested in raftscope are comparing it to the libraries listed below
Sorting:
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,048Updated 9 years ago
- LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a rel…☆1,944Updated last year
- website at https://raft.github.io☆1,428Updated 4 months ago
- Plain Paxos Implementations in Python & Java☆590Updated 4 years ago
- TLA+ specification for the Raft consensus algorithm☆495Updated 7 months ago
- ☆624Updated 4 years ago
- because you need another a key/value storage engine☆1,350Updated last year
- Paxos protocol framework☆555Updated last year
- Distributed database benchmark tester☆289Updated last year
- Awesome list for Paxos and friends☆2,108Updated last year
- ☆299Updated last year
- MIT Chord/DHash☆498Updated 14 years ago
- Readings in distributed systems☆416Updated 10 years ago
- **No Longer Maintained** Official RAMCloud repo☆498Updated 5 years ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆495Updated 7 years ago
- A cluster consistency platform☆658Updated this week
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆839Updated 3 years ago
- ☆76Updated 3 years ago
- A go implementation of the Paxos algorithm☆346Updated 6 years ago
- A blog post on network partitions in practice☆181Updated 11 years ago
- UNMAINTAINED: A Go implementation of the Raft distributed consensus protocol.☆2,430Updated 10 years ago
- A fast linearizability checker written in Go 🔎☆1,079Updated this week
- Paxos Made Moderately Complex☆187Updated last year
- C implementation of the Raft Consensus protocol, BSD licensed☆1,152Updated 2 years ago
- A fork of LevelDB intended to meet the needs of HyperDex while remaining compatible with LevelDB.☆462Updated 9 years ago
- Verifies the linearizability of experimentally accessible histories.☆410Updated 6 months ago
- H-Store Distributed Main Memory OLTP Database System☆587Updated 5 years ago
- Unmaintained C implementation of the Raft consensus protocol☆952Updated last year
- A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.☆838Updated 2 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆92Updated 6 years ago