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