On this page, you will find libraries for the OCaml (Objective Caml) language, a strongly typed functional language with great abstraction and performance characteristics.
Lacaml is a binding to the famous
LAPACK libraries which offer
linear algebra routines. It is developed in collaboration with
Mottl and several other people. To use it you should be
familiar with BLAS and LAPACK. The following
guide for the BLAS,
quick reference, and
may be useful to you. For the precise
description of the functions, consult the man pages
or, if you installed them on your machine (if you use Linux, they
should be in the packages of your distribution), read them with
M-x man (under Unix) ou
woman (all systems; you must first set
(add-to-list 'woman-manpath "C:/path/to/lapack/manpages/blas/man") (add-to-list 'woman-manpath "C:/path/to/lapack/manpages/man")
pa_do) is a syntax extension
(thanks to camlp4) to allow (an extensible) operator and
function overloading in OCaml. It also performs some
optimizations, for example for expressions involving complex
Mesh is a simple module allowing to call various 2D mesh generators (in particular triangle) in a unified fashion. It also provides useful functions to visualize the mesh as well as P1 functions defined on it.
1D root finding
Module FFTW 3
The bindings to the old FFTW2 library are not longer developed.
OCaml Lego Mindstorm library
The Mindstorm module allows to control Lego® Mindstorm NXT bricks through the bluetooth protocol. It was used by three students in mathematics to program two robots: the first finds its way out of a maze and the second solves the Rubik's cube. You can read their interview (in French).
Benchmark is a module to measure and compare running times of functions written in OCaml.
OCamlDBI is a generic interface to databases inspired by Perl DBI.
The Freetds module offers a binding to the DB-lib API of FreeTDS as well as a deprecated binding to ct. It is recommended to use OCamlDBI (which uses this module as a driver) to benefit for higher level functions.
This module is obsolete and only bugs will be corrected. It will be replaced by Archimedes (under development) which does not depend anymore on gnuplot.