Kegan McIlwaine's repositories
Language:GoMIT000
go-templates-example
An example of using go templates in a file server.
marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Language:IsabelleApache-2.0000