OCaml Packages · Search Result

3 Search Results

Basic OS interaction for OCaml

os system cli command file path log unix org:erratique

The bos programmers

0.2.1

ISC

Used by 68 other packages

Compile a subset of OCaml to Coq

keyword:compilation keyword:OCaml logpath:CoqOfOCaml

Guillaume Claret

2.5.2+4.13

MIT

Used by 0 other packages

File system paths for OCaml

file system path org:erratique

The fpath programmers

0.7.3

ISC

Used by 51 other packages