1 repository on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
A from-scratch implementation of the Raft consensus algorithm in Go, backing a linearizable key-value store β verified linearizable under seeded, Jepsen-style fault injection with a hand-written linearizability checker.