Skip to content

taquangtrung/OcaIDE

 
 

Repository files navigation

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.

About

An O'Caml plug-in for Eclipse

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Java 82.9%
  • GAP 6.2%
  • OCaml 4.6%
  • HTML 3.2%
  • PHP 1.7%
  • Lex 1.4%