- Russia Moscow
Stars
2
stars
written in Clojure
Clear filter
A framework for distributed systems verification, with fault injection
A workbench for writing toy implementations of distributed systems.