A workbench for writing toy implementations of distributed systems. - View it on GitHub