Browse free open source OCaml (Objective Caml) Software Development Software and projects below. Use the toggles on the left to filter open source OCaml (Objective Caml) Software Development Software by OS, license, language, programming language, and project status.
opam is a source-based package manager
Lightweight static analysis for many languages
MirageOS is a library operating system that constructs unikernels
Parser combinators built for speed and memory efficiency
A static type checker for JavaScript
The core OCaml system: compilers, runtime system, base libraries
An OCaml kernel for Jupyter (IPython) notebook
Performant type-checking for python
OCaml bindings for GLPK
A collection of machine-checkend mathematical proofs
Support for manual parallelization of sequential C programs.
the core 0install package