NobleBlocks
    The Discourje project: run-time verification of communication protocols in Clojure | NobleBlocks