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...
Interactive Objects Software presents "MoRE Player - PL/I", the first product within our new product-line "MoRE Players". "MoRE Player - PL/I" is an Eclipse-Plugin for...
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...
Note: this is the Java7 compatibility version of Protelis. If your installation is recent enough to use it, favor the standard (Java8+ version). This version may not work in Java 9 and newer enviro...
The open source IFML editor is a modeling editor to try all the benefits of the modeling language "Interaction Flow Modeling Language" (IFML), OMG standard. It is domain-independent and integrated ...
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 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 14 support for Eclipse 2020-03 (4.15). To install the feature, please ensure you have the following version of Eclipse 4.15 IDE installed:
https://do...
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...
