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.