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...
Maestrosoft Studio is a powerful plugin add-on to Eclipse that enables integration of the Microsoft Visual Studio C/C++ compiler into the Eclipse IDE. (Microsoft debugger is not integrated into the...
<br/>
ABAP™ Eclipse Editor is an external ABAP™ editor for SAP® Web Application systems. <br/>
<br/>
<b><font color="green">The best of two worlds...</...
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...
The JavaDude Annotations are Java 5/6 annotations and annotation processors that generate some of the tedious code you need in your day-to-day programming. Using these annotations, you can generate...
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 -...
Eclipse Vorto IoT Plugins comprise Vorto DSL Editors that lets device manufacturers describe device capabilities.
The DSL Editors are based on the Eclipse Xtext project providing autocompl...
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 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...
