Repository Index

Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.

• redis
• kv
• namespace
• redis-cluster

A clojuresque key-value/document store protocol with core.async.

• konserve
• key-value-store
• clojure

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

• raft
• verdi
• coq
• proof

A tiny Redis server built with Golang, compatible with RESP protocols.

• golang
• go
• redis
• resp