A framework for distributed systems verification, with fault injection
Jepsen tests for the Tendermint distributed byzantine consensus system
Verifies the linearizability of experimentally accessible histories.
Got any useful tips about jepsen-io/jepsen?
... I send out a list of most interesting libraries and apps in the "Clojure" section to about 1100 subscribers.
Do you want it too?