2
Repos
0
Stars
0
Forks
0
Watchers
Repositories (2)
VeriStore
NasitSony/VeriStore
C++
Correctness-first C++ storage engine with WAL durability, crash recovery, Raft replication, and a minimal S3-style object store.
0
0
raft-simulator
NasitSony/raft-simulator
Rust
Raft consensus implementation in Rust with a deterministic simulator: leader election, log replication, partitions/crashes, and correctness-focused tests.
0
0