Sign in

Repository Index

47,133 repositories indexed

Tags: Key-value store
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–11 of 11 · Most stars

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

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.

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

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

  • raft
  • verdi
  • coq
  • proof