Alex32610

Alex32610

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
0 Stars
0 Forks
0 Watchers

Repositories (1)

raftkv Alex32610/raftkv C

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.

0