dgryski / awesome-consensus
Awesome list for Paxos and friends
☆2,078Updated 9 months ago
Alternatives and similar repositories for awesome-consensus:
Users that are interested in awesome-consensus are comparing it to the libraries listed below
- A list of papers about distributed consensus.☆2,551Updated 6 months ago
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,023Updated 8 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,901Updated 8 months ago
- A fast linearizability checker written in Go 🔎☆994Updated last week
- Paxos protocol framework☆556Updated last year
- A curated list of awesome distributed systems books, papers, resources and shiny things.☆950Updated 2 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆827Updated 2 years ago
- Awesome list of distributed systems resources☆1,585Updated 4 years ago
- A framework for distributed systems verification, with fault injection☆6,954Updated this week
- Curated list of resources on testing distributed systems☆2,528Updated this week
- Raft implementation in Go☆1,118Updated last month
- because you need another a key/value storage engine☆1,309Updated 9 months ago
- A feature complete and high performance multi-group Raft library in Go.☆5,127Updated 7 months ago
- ☆617Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆485Updated last week
- The book Distributed systems: for fun and profit☆2,583Updated 2 years ago
- Distributed storage for sequential data☆1,900Updated 3 years ago
- website at https://raft.github.io☆1,396Updated last month
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…☆2,532Updated 4 months ago
- Golang implementation of the Raft consensus protocol☆8,437Updated last month
- C implementation of the Raft Consensus protocol, BSD licensed☆1,139Updated last year
- The Self-Driving Database Management System☆2,032Updated 5 years ago
- RocksDB/LevelDB inspired key-value database in Go☆5,158Updated this week
- C++ implementation of Raft core logic as a replication library☆1,058Updated this week
- A reference use of Hashicorp's Raft implementation☆1,007Updated last month
- Awesome list of distributed transactions☆727Updated 3 years ago
- Self-Driving Database Management System from Carnegie Mellon University☆1,744Updated 2 years ago
- Unmaintained C implementation of the Raft consensus protocol☆944Updated 11 months ago
- An educational OLAP database system.☆1,688Updated this week
- A collection of TLA⁺ specifications of varying complexities.☆1,330Updated this week