1 repository on SrcLog
Distributed key-value store in Go, built from scratch on the standard library: Raft consensus, an LSM storage engine, and a linearizability checker that verifies it under network partitions.