OCaml interfaces for various C libraries

You can find here OCaml bindings for a set of C libraries. These bindings requires the OCaml compiler, the CamlIDL stub code generator, and of course the interfaced C library,

• MLCUDDIDL: an OCaml interface for the CUDD BDD library.

  It requires CUDDAUX, a small extension of the CUDD BDD library

  You can alternatively download the bundle named cuddaux+mlcuddidl using subversion.
• MLGMPIDL: an OCaml interface for the GMP and MPFR libraries

You can browe directly the subversion repository. You can find more information about downloading from subversion repository.