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...
m2e provides comprehensive Maven integration for Eclipse. You can use m2e to manage both simple and multi-module Maven projects, execute Maven builds via the Eclipse interface, and interact with Ma...
The majority of IDEs implement a concept of plug-in that nicely supports the integration of tools within the IDEs. Plug-ins dramatically simplify the structural integration of multiple tools, but p...
An Eclipse plugin that enables split and rearrangement of open editors with keyboard shortcuts (which is not given as an option in the standard Eclipse distribution).
Currently supported feature...
The Metafacture IDE provides Eclipse integration for the Culturegraph Metafacture tools.
It currently consists of an Xtext-based editor and a launcher for the Metafacture Flux language. Flux is ...
Extended VS Presentation plugin contributes powerful editing sessions management and highly customisable and very useful Eclipse skin ("look and feel").
Editing sessions management all...
Displays gitblit repositories. Search for a repository/project within gitblit repositories.
Open egit clone wizard for the selected repository.
One-Click clone feature to clone and import into wo...
This plugin has been tested to work with AccuRev 6.0 or higher. This plugin is free to use with our AccuRev customers and evaluators. It is fully supported and documented.
You can fi...
Provides tools for Android development. Andmore is being developed under the Eclipse Foundation and is the successor of the Google ADT plugin and the Motorola MOTODEV plugin.
Andmore includes:
...
Capella is a Comprehensive, extensible and field-proven MBSE solution to successfully design systems architecture.
It provides provides methodological guidance, intuitive model editing, and viewin...
Cigital SecureAssist is a plugin for Eclipse which points out common security vulnerabilities as the developer is coding. It reduces risk by delivering actionable guidance in context based on Cigi...
Available as both a complete product installation or as a plug-in for existing Eclipse installations Code Composer Studio™ makes embedded software development easy. This comprehensive tools suite s...
Easy source code review without leaving your Eclipse perspective!
Join the thousands of developers worldwide who perform more effective code reviews in 75% less time without leaving Eclipse! Code...
2.0 is out with multi-file editing! CodeTogether lets you share your IDE's project right to a browser for pair programming. Highly optimized for coding with participants connecting in from any ...
Codewind for Eclipse
Codewind for Eclipse provides tools to help build cloud-native, containerized applications from Eclipse, regardless of which runtime or language you use. Rapidly create an a...
The Codewind OpenAPI Tools for Eclipse provides wizards that invoke the OpenAPI Generator to create API clients, server stubs, and HTML documentation from OpenAPI Specifications. The tools are inte...
Dart Designer is a graphical tool for Dart Developers.
It allows you to specify your Dart application directly from Eclipse thanks to several kinds of diagrams (Class, Explorer, Library, Module,...
This project is intended to help developers and show how they can work with their IDE more effectively. Developer Statistics is an incubator project of Eclipse Code Recommenders that tracks how dev...
Eclipse Tools to ease the development of Dropwizard applications. The following tools are included and described in more detail below:
Dropwizard Application Launcher
YAML Editor
Dropw...
ARM DS-5™ Professional is the reference software development tool suite for ARM Powered® platforms.
It is the tool-chain of choice for software developers who want to fully realize the benefits ...
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...
High performance software developer environments in the cloud. Che provides:
A cloud IDE
A workspace server with REST APIs
Plug-ins
Use your browser to program on any machine in any langua...
Eclipse Code Recommenders assists Java developers in learning how to use and extend new APIs by leveraging the information hidden in the source code of existing applications and integrating the gai...
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...
The Eclipse Marketplace Client is a rich client solution for installing solutions listed on Eclipse Marketplace directly from an Eclipse Installation.
The Eclipse community has hundreds, if not ...
