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