A workbench for writing toy implementations of distributed algorithms again pre-defined Jepsen tests.