Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: Open Source :: CECILL-B


Development tools
Mlcov [13-Dec-2010, version 1.2, Stable] Has a documentation
MLcov is a code coverage tool for Objective Caml programs. It relies on a source code instrumentation technique which allows measuring of Modified Condition/Decision Coverage (MC/DC), the criterion involved in the DO-178B standard to ensure that safety-critical software is tested adequately. The tool is available as a patch against the version 3.12.0 of the Objective Caml compiler sources.
Author: Thomas Moniot.
Development tools
OCAPIC [12-Sep-2011, version 2.5, Stable] Has a tutorial
A project which brings OCaml to programming PIC micro-controllers.
Authors: Benoit Vaugon, Philippe Wang, and Emmanuel Chailloux.


Development tools
OcaIDE [16-Jul-2007, version 1.0.1, Beta] Has a documentation
OcaIDE is an O'Caml plug-in for Eclipse
Author: Nicolas Bros.

Development code

Development tools
ocamlclean [15-Nov-2010, Development code]
ocamlclean takes a bytecode executable (which are generally but not necessarily produced by "ocamlc" compiler) and reduces its size by eliminating some dead code.
Author: Benoit Vaugon.