Repository Index

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

• cache
• database
• key-value
• key-value-store

An efficient, small mobile key-value storage framework developed by WeChat. Works on Android, iOS, macOS, Windows, POSIX, and OHOS.

• android
• ios
• kotlin
• swift

Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication features. Garnet can work with existing Redis clients.

• cache
• cache-storage
• cluster
• concurrent

TranslatedRedis 3.0 code with detailed comments (annotated Redis 3.0 source code).

Replicate your Key Value Store across your network, with consistency, persistance and performance.

Embedded key-value store for read-heavy workloads written in Go

• go
• key-value
• hash-table
• key-value-store

Embeddable and distributed in-memory alternative to Redis.

• cluster
• database
• distributed
• memory

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

• raft
• verdi
• coq
• proof