This project provides a set of tools for the model checker NuSMV.
Following tools are contained, or will be contained in the near future:
Two metamodels based on the Eclipse Modeling Framewor...
Plugin adding Markdown text-editing support to Eclipse. Makes editing text files in Eclipse a lot better. Markdown is a simple and intuitive text format syntax that lets you get rich formatting wit...
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...
This is a distribution of the CDT with the MinGW GNU toolchain for Windows. It includes the Eclipse Platform and a Java runtime wrapped up in nice Windows installer. It also includes a number of op...
Acceleo is a pragmatic implementation of the Object Management Group (OMG) MOF Model to Text Language (MTL) standard. You do not need to be an expert to start using the plug-ins and create your fir...
The AspectJ Development Tools (AJDT) project provides Eclipse platform based tool support for AspectJ. Our goal is to deliver a user experience that is consistent with the Java Development Tools (J...
This plug-in from the Eclipse JDT UI team provides a view to visualize the AST (abstract syntax tree) of a Java file open in the editor. Navigate from text selection to AST nodes and from nodes to ...
Ceylon IDE provides eclipse support for Ceylon (http://ceylon-lang.org).
This is a full-featured development environment for Ceylon, including interactive error reporting, incremental build, syn...
Updated! Integrate anything from Vue to React in your daily development. eLearning courses right inside your IDE get you going fast.
Replaces & enhances JavaScript, HTML and CSS developme...
Design and Verification Tools (DVT) is an integrated development environment (IDE) for the design and verification engineers working with SystemVerilog, Verilog, VHDL, e, UPF, CPF, SLN, PSS, SDL. I...
Eclipse aCute enables C# application development in the Eclipse IDE.
aCute provides a rich C# editor with error reporting, hover, content assist, jump to references... (using OmniSharp) and synt...
EASE is a scripting environment for Eclipse.
It allows to create, maintain and execute script code in the context of the running Eclipse instance. Therefore such scripts may manipulate and exten...
Eclipse CDT (C/C++ Development Tooling) http://eclipse.org/cdt/ is top level project of Eclipse Foundation. Get it as standalone Eclipse IDE for C/C++ Developers from http://www.eclipse.org/downloa...
Corrosion enables Rust application development in the Eclipse IDE.
!!! A standalone Eclipse IDE for Rust Developers is also available for download !!!
Corrosion provides a rich and smart Rust...
See also Java 8 support for Eclipse Kepler SR2 and Java 8 Facet for Web Tools for Eclipse Kepler SR2
--- Timeline
Feb 21st 2014 : Early Access Release IV Release candidate 1 (Available -...
Xtend is a statically-typed programming languages for Java developers.
It leverages Java's typesystem and reuses its syntax as far as possible, but cuts down the amount of boilerplate you ha...
With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including compilers and inte...
The Go pack for CodeMix 3 brings the best extensions for Go development from VS Code directly into Eclipse. From smarter editing to integrated debugging, CodeMix with Go can work seamless...
The Groovy Development Tools (GDT) provides Eclipse and Maven (m2e) support for the Apache Groovy programming language. GDT adds full-featured IDE support including editors, wizards, content assist...
This marketplace solution provides Java 13 support for Eclipse 2019-09 (4.13). To install the feature, please ensure you have the 4.13 version of Eclipse IDE installed:
https://download.eclipse....
This plug-in from the Eclipse JDT UI team provides a view to visualize the Java elements in Eclipse's Java model. The view shows the result of many method calls on model elements either as chil...
JSHint integration for the Eclipse IDE. Maintained by Ralf Sternberg, EclipseSource.
For version history check https://github.com/eclipsesource/jshint-eclipse/releases
You can update from c...
