GitHub repository: khelmy/scilla
Primary language: OCaml
Description: Scilla - A Smart Contract Intermediate Level Language