GitHub repository: mrmr1993/coq-of-ocaml
Primary language: OCaml
Description: Compile OCaml to Coq.