Repository Index

Distributed reliable key-value store for the most critical data of a distributed system

• etcd
• raft
• distributed-systems
• kubernetes

The lightweight, fault-tolerant database built on SQLite. Designed to keep your data highly available with minimal effort.

• go
• sqlite
• distributed-systems
• database

Distributed transactional key-value database, originally created to complement TiDB

• distributed-transactions
• raft
• rust
• key-value

Apache ZooKeeper

• zookeeper
• database
• hacktoberfest
• java

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

• bft
• cosmos
• database
• distributed-systems

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof