Calcul avec OCaml
[11-Jan-2012, version
0.2]
These modules may be used as interactive calculus constructions when loaded in the ocaml pseudo_interpreter, or as calculus library.
Camomile
[09-Jan-2012, version
0.8.4,
Beta]
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.
CiME
[09-Jan-2012, version
3,
Stable]
A rewrite and constraint-solver tool.
ocamlbrew
[09-Jan-2012,
Alpha]
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.
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.
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...
Otags
[23-Jan-2012, version
3.12.1,
Stable]
An Emacs tag generator for Ocaml source files, working also with syntaxes extended with Camlp4.
OUnit
[23-Jan-2012, version
1.1.1,
Stable]
Unit test framework for ocaml. It is based on HUnit, a unit testing framework for Haskell.
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.
Zermelo Proof Checker
[26-Jan-2012, version
1.0,
Stable]
The Zermelo Proof Checker (ZPC) is a lightweight proof assistant based on standard set theory and Hindley-Milner type theory.