The Caml Humps
Powered by OCaml !

Caml Light / OCaml


Latest adds/updates
2002-08-12BioCamlAn OCaml library of useful functions for bioinformatics.
By Hideo Bannai, Yoshinori Tamada
2004-01-22CamlFloatA stylized interface to the Fortran libraries Lapack and Blas for OCaml.
By Shivkumar Chandrasekaran, Bill Lyons
2004-03-31ContfracAn OCaml module for performing exact arithmetic on real numbers by representing them as continued fractions.
By Thomas Baruchel
2002-04-11CoqA proof assistant.
By Judicael Courant, Jean-Christophe Filliâtre, Hugo Herbelin, Gilles Dowek, Christine Paulin-Mohring, Bruno Barras, Benjamin Werner
2001-11-02CrealAn exact real arithmetic module for OCaml.
By Jean-Christophe Filliâtre, David Monniaux
2004-09-27FaCiLeA Functional Constraint Library over integer and integer set finite domain written with OCaml.
By Pascal Brisset (ENAC)
2002-05-14FFTWAn interface to the FFTW library.
By Christophe Troestler
2003-07-21FoCAn environment to develop certified computer algebra libraries.
By Thérèse Hardin
2003-02-11GeOCamlA tool allowing to handle easily euclidian geometry.
By Arnaud Doniec, Georges Mariano
2003-01-20HOL-lightA small and idealistic, yet fairly powerful, theorem prover.
By John Harrison
2001-08-09LACAMLBLAS/LAPACK-interface for OCaml
By Markus Mottl
2002-09-16LinkA theorem prover for Multiplicative Linear Logics based on PROOF NETS Construction.
By Didier Galmiche, Luc Habert
2001-11-23Maple-MuPadA small tool that may help to convert a Maple code to MuPad.
By François Thomasset
2001-08-10Math Library in Caml-Light
By Andrew Conway
2003-11-20MathlibUseful math, numeric and random number routines, including a lot of the new functions in the C99 standard library.
By Shawn Wagner
2001-10-01MathplotA GUI frontend for interactive graphing of functions. It also has a program to generate PostScript output.
By Pascal Rigaux (Pixel)
2002-11-23MLGMPAn extended precision computation library (integers, rationals, floats) in OCaml.
By David Monniaux
2004-11-02MlgraceA high-level interface to the Grace 2D plotting application.
By Paul Pelzl
2004-07-08NMLa dynamically typed functional language whose syntax conforms closely to that of OCaml. In addition, it supports overloaded, vectorized, math operations, list comprehensions, and optional and keyword arguments in uncurried argument tuples, possibly with specified default values. It can access OLE compliant, and low-level COM interfaces, supports serial I/O and socket based communication, and provides an ADO connection to external databases. An Emacs mode is supported through a hacked Tuareg interface, as well as a Tcl/Tk interactive browser and interaction window with list pane access to a user modifiable documentation database.
By David McClain
2001-08-09NumerixBig integer library.
By Michel Quercia
2004-10-26OcamawebA CWEB like literate programming tool. It is designed to target all languages and actually has a version targeting the MATLAB language.
By Charles-Albert Lehalle
2004-04-28ocaml-glpkBindings 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.
By Samuel Mimram
2004-02-09ocamldelaunayA simple-minded, O(N^2), floating-point, 2D Delaunay triangulator without constraints.
By Issac Trotts
2004-02-16ocamlgslA wrapper for GSL, the GNU Scientific Library.
By Olivier Andrieu
2002-05-02OCamlmexAn OCaml/Matlab interface.
By Maurice Bremond
2004-09-07OrpieOrpie is a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators, but data entry has been optimized for efficiency on a PC keyboard. Features include extensive scientific calculator functionality, command completion, and a visible interactive stack.
By Paul Pelzl
2002-11-08OverflowA module redefining common operations and raising an exception in case of overflow.
By Sébastien Ailleret
2001-11-02PsiLABScientific and numerical research environment
By Stefan Bosse
2004-06-21SPPoCSymbolic Parameterized Polyhedral Calculator.
By Xavier Redon, Pierre Boulet
2004-11-02SurrealAn exact real arithmetic library for objective caml.
By Yamagata Yoriyuki