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.
llpp
[23-Feb-2012, version
v10,
Development code]
PDF viewer written in OCaml and mupdf.
OCamlnet
[23-Feb-2012, version
3.5,
Mature]
A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions.
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.
TypeRex
[23-Feb-2012, version
1.0.0rc1,
Beta]
OCaml development environment, developed by OCamlPro and Inria Saclay.
This version of TypeRex only integrates with Emacs and brings a
collection of new features that programmers expect from a modern IDE.
Next versions will target more editors.
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.