github.com/informalsystems/themis-contract (go): A command line-based parameterized contracting tool
Keywords: contracts