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...
The Orc programing language is a novel language for distributed and concurrent programming which provides uniform access to computational services, including distributed communication and data mani...
Zip, Unzip, verify, manage, view, and edit EULUMDAT files
EULUMDAT is the European standard for photometric data used by all major lighting design programs
IES is the IESNA standard for phot...
This is just a bundle containing all plugins developed by Albert Tregnaghi (The bundling was wished by a community member )
Purpose: Convenience. Users shall be able to search only for this...
Automatically generate the fault trees for your complex systems
Safety Architect is a tool achieving risk analysis of complex systems using functional or physical architectures from usual modeli...
WindowBuilder is composed of SWT Designer and Swing Designer and makes it very easy to create Java GUI applications without spending a lot of time writing code. Use the WYSIWYG visual designer and ...
The plugins in PEP Tools are intended to help Eclipse RCP developers get more out of their IDE. It raises the level of support for features and products to be equivalent to the built-in support for...
viPlugin adds vi(m) functionality to almost all text based editors for Eclipse. Supported are all products based on Eclipse >=3.2 like Rapid Application Developer, Zend Studio, Aptana, DVT and m...
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...
