WYRD

WYRD

Siddharthk17

Raft-replicated KV store in Rust, tested by a deterministic simulator that injects network, disk, crash and clock faults from a 64-bit seed. Linearizability checker, TLA+ spec with trace validation, 20 planted-bug suite, real-cluster chaos tests. Every failure replays exactly.

0 Stars
0 Forks
0 Watchers
Rust Language
apache-2.0 License
30 SrcLog Score
Cost to Build
$25.8K
Market Value
$3.4K

Growth over time

1 data points  ·  2026-11-11 → 2026-11-11
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about WYRD

Question copied to clipboard

What is the Siddharthk17/WYRD GitHub project? Description: "Raft-replicated KV store in Rust, tested by a deterministic simulator that injects network, disk, crash and clock faults from a 64-bit seed. Linearizability checker, TLA+ spec with trace validation, 20 planted-bug suite, real-cluster chaos tests. Every failure replays exactly.". Written in Rust. 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.

🏆 Show off this rank

Siddharthk17/WYRD on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

How to clone WYRD

Clone via HTTPS

git clone https://github.com/Siddharthk17/WYRD.git

Clone via SSH

[email protected]:Siddharthk17/WYRD.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the WYRD issue tracker:

Open GitHub Issues