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.
forked from nbros/OcaIDE
An OCaml plug-in for Eclipse
Derek-X-Wang/OcaIDE
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An OCaml plug-in for Eclipse
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Java 82.0%
- GAP 6.5%
- OCaml 4.8%
- HTML 3.4%
- PHP 1.8%
- Lex 1.5%