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.

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.

Creal
[07-Nov-2005, version
0.7,
Beta]

An exact real arithmetic module for OCaml.

FFTW
[14-May-2002,
Beta]

An interface to the FFTW library.

FFTW-GEL
[03-Mar-2003, version
1.2.1,
Stable]

FFTW-GEL is an architecture-specific version of FFTW.

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

LACAML
[09-Aug-2001, version
7.0.7,
Stable]

This OCaml-library interfaces the BLAS-library (Basic Linear Algebra
Subroutines) and LAPACK-library (Linear Algebra routines), which are
written in FORTRAN.

Luo
[12-Dec-2002, version
2.1,
Stable]

A system written in Caml and Maple to perform average-case complexity analysis of algorithms.

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.

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.

MLGMP
[23-Nov-2002, version
0.13,
Beta]

An extended precision computation library (integers, rationals, floats) in OCaml.

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.

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.

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.

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.

PsiLAB
[02-Nov-2001, version
2.0,
Stable]

Scientific and numerical research environment.

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.