Skip to main content
  • Create account
  • Log in
Eclipse Plugins, Bundles and Products - Eclipse Marketplace
  • My Marketplace
  • Add Content
  • More
      • Community

      • Marketplace
      • Events
      • Planet Eclipse
      • Newsletter
      • Videos
      • Blogs
      • Participate

      • Report a Bug
      • Forums
      • Mailing Lists
      • Wiki
      • IRC
      • Research
      • Eclipse IDE

      • Download
      • Learn More
      • Documentation
      • Getting Started / Support
      • How to Contribute
      • IDE and Tools
      • Newcomer Forum
  1. Home
  2. Marketplace
  3. Tools (1292)
  4. OcaIDE

OcaIDE

OcaIDE
14
2
Install

Drag to Install!

Drag to your running Eclipse* workspace.
*Requires Eclipse Marketplace Client

Add this URL to your Eclipse Installation to reach this solution's update site.

Oxygen (4.7)
Neon (4.6)
Mars (4.5)
Luna (4.4)
Kepler (4.3)
Juno (4.2, 3.8)
Previous to Juno (<=4.1)
Photon (4.8)
2018-09 (4.9)

http://www.algo-prog.info/ocaide/

Learn more...

Details Group Tabs

Details

An Open Source plug-in for O'Caml development under Eclipse.

Supports many advanced features:

  • Source editor for modules (ml files), interfaces (mli files), parsers (mly files) and lexers (mll files)
  • Syntax coloring (colors and styles are configurable)
  • Automatic indentation while typing in the editor (configurable in the preferences)
  • A customizable integrated code formatter, and an interface to the camlp4 formatter (through an AST printer)
  • Completion
  • Library browser, both for the standard library and user libraries
  • Integrated debugger (a graphical interface to the O'Caml text-mode debugger), with remote debugging support and script file support
  • Highlighting of matching delimiters
  • Integrated toplevel
  • Creation of custom toplevels
  • Camlp4 pre-processing
  • An O'Caml perspective inside of Eclipse
  • Shortcuts to the O'Caml elements in Eclipse
  • Building of O'Caml projects (with ocamlbuild, with hand-written makefile, with OcamlMakefile or managed by the IDE)
  • Importation and exportation of O'Caml projects
  • Launching of O'Caml executables with parameters, and interactive console
  • Outline and Quick Outline
  • Displays the inferred type of elements in the editor and outline
  • Descriptive popups on O'Caml definitions
  • Help on expected parameters for functions, exceptions and constructors
  • Configurable shortcuts
  • Configurable paths for all the tools (and the paths are automatically detected)
  • On demand makefile generation
  • Automatic interface generation
  • Hyperlinks for jumping to the definition of an element (variable, type constructor...)
  • Error markers in the editor, editor's margin, Navigator view and Problems view
  • Editable code templates
  • Automatic detection of project paths
  • Commenting and uncommenting of code blocks
  • Spell checking of comments and documentation comments
  • Switch between module/interface
  • Convert files between revised syntax and standard syntax (with Camlp4)
Categories:
  • Editor,
  • IDE,
  • Languages,
  • Tools
Tags:
  • fileExtension_ml,
  • fileExtension_mli,
  • fileExtension_mly,
  • fileExtension_mll
Additional Details
Eclipse Versions: 
Oxygen (4.7), Neon (4.6), Mars (4.5), Luna (4.4), Kepler (4.3), Juno (4.2, 3.8), Previous to Juno (<=4.1), Photon (4.8), 2018-09 (4.9)
Platform Support: 
Windows, Mac, Linux/GTK
Organization Name: 
Nicolas Bros
Development Status: 
Production/Stable
Date Created: 
Tue, 2007-10-09 09:37
License: 
Other Open Source
Date Updated: 
Mon, 2019-02-04 13:55
Submitted by: 
Nicolas Bros
Metrics
DateRankingInstallsClickthroughs
February 2021561/90014 (0%)13
January 2021604/93014 (0%)15
December 2020584/91914 (0%)9
November 2020555/92518 (0%)15
October 2020435/92740 (0.01%)8
September 2020540/89416 (0%)8
August 2020770/8672 (0%)11
July 2020777/8702 (0%)4
June 2020737/8673 (0%)10
May 2020750/8763 (0%)8
April 2020625/89110 (0%)9
March 2020626/89211 (0%)16
View Data for all Listings
Errors

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)
External Install Button

Marketplace Drag to Install button

By adding the following code below to your website you will be able to add an install button for OcaIDE.

HTML Code:


Markdown Syntax:



Output: Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client
Wednesday, February 24, 2021 - 11:07

Reviews Sign in to post reviews

efugier's picture

My favorite IDE for Ocaml

Submitted by Emilien Fugier on Fri, 2016-03-18 15:01

Very nice and pleasant to use, run smoothly, 10/10 would recommend !

lmisingname307's picture

Recommended

Submitted by Lucian Mising name on Tue, 2011-11-29 13:13

This is at the moment clearly superior to ODT (OCaml Development Tools), and features full OCaml language support, including code completion, OMake projects, Toplevel integration. Very good, haven't seen many language plugins run as smooth as this one.

Markets

  • Eclipse Project (5)
  • Tools (1292)
    • Application Development Frameworks (156)
    • Application Management (27)
    • Application Server (37)
    • BIRT (10)
    • Build and Deploy (101)
    • Business Intelligence, Reporting and Charting (14)
    • Code Management (116)
    • Collaboration (36)
    • Database (46)
    • Database Development (33)
    • Database Persistence (17)
    • Documentation (59)
    • Eclipse Kura (63)
    • Eclipse SmartHome (46)
    • EclipseRT Target Platform Components (8)
    • Editor (332)
    • Entertainment (14)
    • General Purpose Tools (120)
    • Graphics (32)
    • IDE (329)
    • Internet of Things (IoT) (34)
    • J2EE Development Platform (42)
    • J2ME (6)
    • Languages (149)
    • Linux Tools (19)
    • Logging (22)
    • Mobile and Device Development (49)
    • Modeling (89)
    • Modeling Tools (141)
    • Mylyn Connectors (18)
    • Network (14)
    • Other (71)
    • Process (19)
    • Profiling (22)
    • Programming Languages (98)
    • Reporting (33)
    • Rich Client Applications (39)
    • Science (5)
    • SCM (18)
    • Search (40)
    • SOA Development (15)
    • Source Code Analyzer (96)
    • Systems Development (54)
    • Team Development (55)
    • Testing (87)
    • Tools (552)
    • UI (90)
    • UML (40)
    • Web (89)
    • Web Services (31)
    • Web, XML, Java EE and OSGi Enterprise Development (35)
    • XML (30)
  • IoT (113)
    • Eclipse Kura (63)
    • Eclipse SmartHome (46)
  • RCP Applications (79)
  • Training & Consulting (52)
  • Long Term Support (11)

Search

Advanced Search

More like this

  • FeatureIDE
  • LiClipseText
  • LiClipse
  • Ruby Solargraph
  • Design and Verification Tools (DVT) IDE for e, SystemVerilog, VHDL, and PSS

Favorited by

Eclipse Foundation

  • About Us
  • Contact Us
  • Donate
  • Members
  • Governance
  • Code of Conduct
  • Logo and Artwork
  • Board of Directors

Legal

  • Publishing Guidelines
  • Privacy Policy
  • Terms of Use
  • Copyright Agent
  • Eclipse Public License
  • Legal Resources

Useful Links

  • Welcome to Marketplace
  • Report a Bug
  • Documentation
  • How to Contribute
  • Mailing Lists
  • Forums
  • Marketplace

Other

  • IDE and Tools
  • Projects
  • Working Groups
  • Research@Eclipse
  • Report a Vulnerability
  • Service Status

Copyright © Eclipse Foundation. All Rights Reserved.

Back to the top