Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Latest updates

Native OCaml libraries
Calcul avec OCaml [11-Jan-2012, version 0.2] Has a documentation
These modules may be used as interactive calculus constructions when loaded in the ocaml pseudo_interpreter, or as calculus library.
Native OCaml libraries
Camomile [09-Jan-2012, version 0.8.4, Beta] Has a Godi package
Camomile is a comprehensive Unicode library for OCaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more. The library is currently designed for Unicode Standard 3.2.
Scientific software
CiME [09-Jan-2012, version 3, Stable] Has a documentation
A rewrite and constraint-solver tool.
Author: Claude Marché.
Development tools
ocamlbrew [09-Jan-2012, Alpha] Has a documentation
ocamlbrew aims to be a simple tool for getting up and running with various versions of OCaml. The concept, along with some basic code, is borrowed from perlbrew.
Development tools
OCamlspotter [23-Jan-2012, version 1.4.0, Stable]
A small compiler patch which extends -annot option and records all the variable definition locations, so that we can jump from variable uses to their definitions easily from editors such as emacs.
Author: Jun Furuse.
Development tools
ODT [23-Jan-2012, version 2.1, Stable]
The OCaml Development Tools (ODT) project aims to be like the JDT (Java Development Tools) Eclipse plugins. It provides IDE features for OCaml application developments, such as automatic compilation, custom editors...
Author: Emmanuel Dieul.
Development tools
Otags [23-Jan-2012, version 3.12.1, Stable]
An Emacs tag generator for Ocaml source files, working also with syntaxes extended with Camlp4.
Author: Hendrik Tews.
Native OCaml libraries
OUnit [23-Jan-2012, version 1.1.1, Stable] Has a Godi package
Unit test framework for ocaml. It is based on HUnit, a unit testing framework for Haskell.
Scientific software
Zenon [09-Jan-2012, version 0.6.3, Beta]
Zenon is an automatic theorem prover written in OCaml. Zenon handles first-order logic with equality. Its most important feature is that it outputs the proofs of the theorems, in Coq-checkable form.
Author: Damien Doligez.
Scientific software
Zermelo Proof Checker [26-Jan-2012, version 1.0, Stable] Has a documentation
The Zermelo Proof Checker (ZPC) is a lightweight proof assistant based on standard set theory and Hindley-Milner type theory.
Author: Jeremy Bem.