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...
StreamBase Studio™, one of three components of the StreamBase Event Processing Platform, is a powerful Eclipse-based integrated development environment (IDE) which enables developers to design real...
Dartboard is an Eclipse plugin for Dart development. It allows to easily edit Dart source code with analysis as-you-type and syntax highlighting, execution of Dart programs directly from the I...
The Wordfile Editor is a stand-alone, ersatile and easy to use Eclipse editor for all text based programming languages. It is the ideal text, XML, HTML, PHP, Java, Javascript, Perl, and programmer'...
This is a textual modeling framework for EMF sligthly similar to Xtext or EMFText with a few differences:
* No code generation is needed - Grammar model is used at runtime
* Structure of AST ...
Refactory is a set of Eclipse plugins for creating refactorings for arbitrary models. It consists of a SDK to define new generic refactorings which then can be reused for any metamodel you like. Fu...
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...
Dartboard is an Eclipse plugin for Dart development. It allows to easily edit Dart source code with analysis as-you-type and syntax highlighting, execution of Dart programs directly from the I...
This is a distribution of the CDT with the MinGW GNU toolchain for Windows. It includes the Eclipse Platform and a Java runtime wrapped up in nice Windows installer. It also includes a number of op...
TapiJI represents a set of smart tools that integrate into the Eclipse IDE for Java developers with the goal to reduce effort of Internationalization. This is accomplished by creating a productive ...
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 ...
RPGtoJ2EE technology modernizes legacy iSeries (As/400) applications by fully transforming them into Java J2EE. The RPG code is transformed into Java Servlelts, JDBC/EJB data access and XML/XSLT fo...
MODembed is an experimental IDE aiming to provide a more advanced toolchain for embedded software development. It provides a model-based approach for defining the whole compilation process.
Feat...
Contributes an ANTLR V4 grammar editor and builder to the Eclipse platform.
Features
Antlr Editor and Outline View – full syntax-directed editor
Grammar Formatter
Antlr elements...
The Launch Configuration DSL (LcDsl) allows to create and maintain launch configurations in Eclipse in a comfortable way. Along with LcDsl there comes a view that can be installed separately, that ...
LuaEclipse is a collection of plugins developed for the Eclipse platform that together make an IDE for the development of applications in the Lua programming language. In this environment it's...
Build, execute, and analyse complex test scenarios with the full-featured integrated test development and execution environment (IDE) TTworkbench. This powerful, user-friendly tool allows you to te...
Ferret is a conceptually simple software exploration tool that seeks to answer dozens of questions about a source code element to summarize how that element relates to the rest of the software syst...
