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...
Object Teams adds new dimensions of modularity for extreme re-use while
sustaining a crisp architecture that's a breeze to maintain during long-term software evolution.
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...
Impex is an SAP-Hybris specific language to import/export data This plugin allows : - Syntax highlighting. - Auto-completion. - Formatting - Full customization from preferences.
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 ...
EcReader 1.0
1.Use
Press Ctrl+Alt+Z To Read Next Line In StatusBar.
Press Ctrl+Alt+X To Hide It.
You can also set your own shortcut keys.Please see the ScreenShots.
2.Config
You ...
The React pack for CodeMix 3 brings the best extensions for React coding from VS Code directly into Eclipse. From smarter editing to integrated debugging, CodeMix with React can work seam...
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 GEMOC Studio provides generic components through Eclipse technologies for the development, integration, and use of heterogeneous executable modeling languages. This includes:
metaprogramm...
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...
