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...
Anyone inheriting someone else’s Java code will be familiar with the problem of understanding how it’s been put together, how well structured it is and how best to take it forwards. Stepping throug...
The ASN.1 Editor project provides an Eclipse editor plugin for the ASN.1 (Abstract Syntax Notation One) formal language.
It presents an outline page, syntax highlighting, compare view, content a...
Jindent is a powerful source code formatter for Java, C and C++.
Jindent empowers you to transform any foreign Java/C/C++ source code to meet your preferred coding style or any common ...
Suppress warnings in any programming language. Export markers (errors, warnings, info) to HTML.
The Eclipse Marker Manager allows to:
Export your warnings to a HTML file.
Suppress markers...
JavaScript Build Eclipse is a set of plugins based on tern.java which gives support for Grunt and Gulp (and more?). It provides the Build Explorer view which looks like the Ant view. The Build Expl...
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...
