1 repository on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
Raft-replicated key-value store in C, verified with deterministic simulation testing: seeded fault injection, linearizability checking, and a reproducing seed for every bug found.