GitHub - jepsen-io/maelstrom: A workbench for writing toy implementations of distributed systems.
https://github.com/jepsen-io/maelstrom
46800306