OcaIDE OcaIDE is an OCaml plug-in for Eclipse. It is distributed under the CeCILL-B Open Source licence. For more information, see the official website.