Results
7
repositories owned by
Jepsen
maelstrom
2.8k
Stars
177
Forks
Watchers
A workbench for writing toy implementations of distributed systems.
jepsen
6.5k
Stars
698
Forks
Watchers
A framework for distributed systems verification, with fault injection
knossos
390
Stars
31
Forks
Watchers
Verifies the linearizability of experimentally accessible histories.
tendermint
24
Stars
9
Forks
Watchers
Jepsen tests for the Tendermint distributed byzantine consensus system