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