GitHub repository: CornellBlockchain/bamboo
Primary language: OCaml
Description: Bamboo: a morphing smart contract language