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.
What is the Alex32610/raftkv GitHub project? Description: "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.". Written in C. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
Clone via HTTPS
Clone via SSH
Download ZIP
Download main.zipReport bugs or request features on the raftkv issue tracker:
Open GitHub Issues