Repository Index

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

• etcd
• raft
• distributed-systems
• kubernetes

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

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

🥑 ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values. Build high performance applications using a convenient SQL-like query language or JavaScript extensions.

• multi-model
• graph-database
• document-database
• key-value

Apache ZooKeeper

• zookeeper
• database
• hacktoberfest
• java

An asynchronous, persistent key-value store for .NET desktop and mobile applications, backed by SQLite. Suited to both durable data such as user settings and cached data that expires, with optional encryption and System.Text.Json serialization.

• c-sharp
• cache
• reactive-extensions
• reactive-programming

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

• raft
• verdi
• coq
• proof