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