crem (hackage): Compositional Representable Executable Machines
Keywords: control|library|machines|mit|program|state-machines|haskell|nix|state-machine