Markus Mottl
Markus Mottl
aifad
AIFAD - Automated Induction of Functions over Algebraic Data Types
gpr
Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
gsl-ocaml
OCaml bindings to the GSL (GNU Scientific Library).
lacaml
OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)
ocaml-makefile
Easy to use Makefile for small to medium-sized OCaml-projects
ocaml-prog-pats
OCaml Programming Patterns - random tricks, "design patterns", etc.
pcre-ocaml
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
postgresql-ocaml
OCaml-bindings for the PostgreSQL database
pure-fun
Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
res
OCaml library for resizable arrays and strings