raftkv

raftkv

Alex32610

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 Stars
0 Forks
0 Watchers
C Language
30 SrcLog Score
Cost to Build
$6.8K
Market Value
$818

Growth over time

1 data points  ·  2026-08-15 → 2026-08-15
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about raftkv

Question copied to clipboard

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.

How to clone raftkv

Clone via HTTPS

git clone https://github.com/Alex32610/raftkv.git

Clone via SSH

[email protected]:Alex32610/raftkv.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the raftkv issue tracker:

Open GitHub Issues