... I send out a list of most interesting libraries and apps in the "Clojure" section to about 1100 subscribers.
Do you want it too?
Jepsen tests for the Tendermint distributed byzantine consensus system
Verifies the linearizability of experimentally accessible histories.
Slides and resources for talks on partition tolerance
A framework for distributed systems verification, with fault injection