GitHub repository: yveshauser/marlowe
Primary language: Isabelle
Description: Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies