Popular repositories Loading

1. marlowe marlowe Public

   Forked from marlowe-lang/marlowe

   Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

   Isabelle

2. go-templates-example go-templates-example Public

   An example of using go templates in a file server.

   Dockerfile

3. ssbmbo ssbmbo Public

   Project for buffer overflow in ssbm

   Haskell

4. course-materials course-materials Public

   Forked from dr-mikeb/bhg-course

   Go