HYSEN LABS DIRECTORY

jepsen-io

Verified repositories, classifications and analysis from the jepsen-io organization.

2 curated open-source projects
jepsen-io

jepsen

★ 7,509

A framework for distributed systems verification, with fault injection

Clojure757 forks
jepsen-io

maelstrom

★ 3,698

A workbench for writing toy implementations of distributed systems.

Clojure214 forks