GitHub repository: lomin/piggybank
Primary language: Clojure
Description: This projects describes a very simple way to model and check the design of a distributed system.