English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: Open Source :: CECILL-B

Development tools

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
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 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.
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.