7 open source projects by mmottl

OCaml-bindings for the PostgreSQL database

Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"

OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)

OCaml bindings to the SQLite3 database

Easy to use Makefile for small to medium-sized OCaml-projects

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

AIFAD - Automated Induction of Functions over Algebraic Data Types