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...
GraphWalker (http://graphwalker.github.io/) is a open source Model-based testing tool for test automation. The GW4E project (https://gw4e.github.io/) is separate from the GraphWalker project and it...
Mylyn WikiText provides lightweight markup (wiki) parsing, editing and display capabilities to the Eclipse platform and Mylyn. Mylyn WikiText can also generate HTML, Docbook, DITA, XSL-FO, or Eclip...
DSL Forge is a generator of domain-specific language (DSL) editors for web applications and cloud IDEs. The tool allows getting automatically web-based textual editors from ANTLR grammars: given a ...
Treez is an open source project that provides a set of Eclipse plugins. The concept of Treez allows you to create custom tree based Graphical User Interfaces (GUIs) for many kinds of applications, ...
The AccessModifer Plug-in for Eclipse allows the user to change the visibility (public, protected, default, private) and other modifiers (final, static, synchronized) of Java classes, interfaces, e...
Alias Screen Designer is the ultimate dynamic HTML5 forms builder for Eclipse that helps developers generate stunning JSP and PHP pages. Fully WYSIWIG and no programming required ! Just draw, simul...
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...
The CDO (Connected Data Objects) Model Repository is a distributed shared model framework for EMF models and meta models. CDO is also a model runtime environment with a focus on orthogonal aspects ...
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...
If you are using Eclipse Scout and you want to create Word or Excel documents from your Scout application, you might want to use the Docx4j library.
This solution provides the Docx4j library, rea...
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...
The Eclipse BPMN2 Modeler is a graphical modeling tool for authoring BPMN 2.0 compliant business processes. The editor is fully customizable for any process engine that supports BPMN 2.0. Installab...
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...
Enables Enterprise Java Bean, Java Enterprise Application, Fragments, and Connector, Java Web Application, JavaServer Faces (JSF), Java Server Pages (JSP), Java Servlet, Java Web Services, and Tag ...
Macro Record and Playback support for Eclipse editors (currently in Eclipse incubation, but aimed at being integrated into Eclipse itself).
Current features;
Action for toggle record and p...
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...
Includes the HTML, CSS, and JSON Editors, and JavaScript Development Tools from the Eclipse Web Tools Platform project, aimed at supporting client-side web development and node.js applications. Als...
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 EMF Client Platform is a framework for building EMF-based client applications. The goal is to provide a one-click application based on a given EMF model. No additional components have to be dev...
EMF Forms provides a new way of developing form-based UIs. Instead of manually coding form-based layouts, it allows you to describe the UI with a simple model instead of with code. The approach all...
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...
