3 Search Results
coq-of-ocaml
Compile a subset of OCaml to Coq
2.5.2+4.13
MIT
Used by 0 other packages
fpath
File system paths for OCaml
0.7.3
ISC
Used by 52 other packages