Open Source
FFTW-GEL
[03-Mar-2003, version
1.2.1,
Stable]
FFTW-GEL is an architecture-specific version of FFTW.
MIT/X11
Contfrac
[31-Mar-2004, version
alpha-1,
Alpha]
An OCaml module for performing exact arithmetic on real numbers by representing them as continued fractions. It implements the well-known algorithm described by R.W. Gosper (see reference below). The continued fractions are lazy evaluated (eventually infinite) lists. Basic arithmetic operations as well as many transcendent functions are available.
LGPL
Creal
[07-Nov-2005, version
0.7,
Beta]
An exact real arithmetic module for OCaml.
LACAML
[09-Aug-2001, version
3.0.27,
Stable]
This OCaml-library interfaces the BLAS-library (Basic Linear Algebra
Subroutines) and LAPACK-library (Linear Algebra routines), which are
written in FORTRAN.
Mathlib
[20-Nov-2003, version
0.11.0,
Beta]

Mathlib is a collection of hopefully-useful functions for working with floats, Complex numbers, and random numbers. It has the basic math functions added to the C99, trigonometric functions for complex numbers, the Mersenne Twister random number generator, and modules for generating random numbers in a variety of distributions.
MLGMP
[23-Nov-2002, version
0.13,
Beta]
An extended precision computation library (integers, rationals, floats) in OCaml.
ocaml-fastrandom
[29-Aug-2011, version
0.0.2,
Beta]
A random number generator compatible with standard library Random module (pre OCaml 3.12).
It contains C code to speed up generation and a function to skip a lot of numbers at once. Benchmarks show a 3 fold increase in speed for generating random numbers.
Zarith
[17-Apr-2012, version
1.1,
Stable]
The Zarith library implements arithmetic and logical operations
over arbitrary-precision integers. It uses GMP to efficiently
implement arithmetic over big integers. Small integers are
represented as Caml unboxed integers, for speed and space economy.
GPL
l-bfgs
[04-Jul-2011, version
0.5,
Beta]
L-BFGS is a limited-memory quasi-Newton code for bound-constrained optimization. It is a binding to http://users.eecs.northwestern.edu/~nocedal/lbfgsb.html
ocaml-glpk
[26-Sep-2005, version
0.1.3,
Beta]
Bindings to GLPK (GNU Linear Programming Kit) which is a package intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems.
PsiLAB
[02-Nov-2001, version
2.0,
Stable]

Scientific and numerical research environment.
Others
CamlFloat
[22-Jan-2004, version
0.1]


An interface to the Lapack and Blas Fortran libraries which aims to improve the clarity and efficiency of numerical algorithms implemented in OCaml.
FFTW
[14-May-2002,
Beta]

An interface to the FFTW library.
Luo
[12-Dec-2002, version
2.1,
Stable]

A system written in Caml and Maple to perform average-case complexity analysis of algorithms.
Mathplot
[01-Oct-2001, version
0.8.4,
Beta]

A GUI frontend for interactive graphing of functions. It also has a program to generate PostScript output.
Numerix
[03-Jul-2006, version
0.22,
Beta]

Numerix is a library implementing arbitrary long signed integers and the usual arithmetic operations between these numbers.
ocamlgsl
[16-Feb-2004, version
0.4.0,
Beta]
A wrapper for GSL, the GNU Scientific Library.
OCamlmex
[02-May-2002]
An OCaml/Matlab interface.
Overflow
[08-Nov-2002,
Beta]
A module redefining common operations and raising an exception in case of overflow.