Development tools
Mlcov
[13-Dec-2010, version
1.2,
Stable]
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.
OcaIDE
[16-Jul-2007, version
1.0.1,
Beta]
OcaIDE is an O'Caml plug-in for Eclipse
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.
OCAPIC
[12-Sep-2011, version
2.5,
Stable]
A project which brings OCaml to programming PIC micro-controllers.