GitHub repository: virgil-serbanuta/iele-semantics
Primary language: OCaml
Description: Semantics of Virtual Machine for IELE prototype blockchain