GitHub repository: miking-lang/ocaml2mcore
Primary language: OCaml
Created: 2021-03-16T17:00:42Z
Description: Translating OCaml programs into MCore files