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...
Next ABAP extension for ADT Tools. Split from ABAP Favorites in order to keep clean and to keep the core functionality of Favorites alone, giving the users a choice if they want to install this fea...
Set of small, but useful, features to Eclipse that I develop for my personal needs.
Features
Copy Path
Copies the path of file or folder to the clipboard in Eclipse's Package Explorer/Naviga...
For any project that gradle can build. Launch build, gradle GUI, run Jetty or deploy Android .apk to AVD by right-clicking build.gradle. Project does not need to be Gradle project. Just build.gradl...
Get Localization is a service (SaaS) for managing software translation. It provides an easy-to-use collaborative web browser based properties, strings.xml etc. editor for translators and simple way...
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 ...
An Eclipse Team Provider plug-in providing support for Subversion within the Eclipse IDE. Developed and maintained by Subversion core committers, Subclipse is always in synch with the latest Subve...
Enhanced Class Decompiler integrates JD, Jad, FernFlower, CFR, Procyon seamlessly with Eclipse and allows Java developers to debug class files without source code directly. It also integrates with ...
EclEmma is a free Java code coverage tool for Eclipse, available under the Eclipse Public License. It brings code coverage analysis directly into the Eclipse workbench:
Fast develop/test cycl...
FindBugs is a defect detection tool for Java that uses static analysis to look for more than 200 bug patterns, such as null pointer dereferences, infinite recursive loops, bad uses of the Java libr...
AnyEdit plugin adds several new tools to the context menu of text- based Eclipse editors, to output consoles, to Eclipse main menu and editor toolbar. AnyEdit contributes also Import/Export wor...
The free UML tool UMLet lets you draw UML diagrams with a light-weight, pop-up-free user interface. It lets you draw diagram sketches fast; export diagrams to pdf, eps, jpg, gif, svg, bmp, png, and...
SpotBugs is a defect detection tool for Java that uses static analysis to look for more than 400 bug patterns, such as null pointer dereferences, infinite recursive loops, bad uses of the Java libr...
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...
DBeaver is free universal SQL client/database tool for developers and database administrators. It can work with any database server which has JDBC or ODBC driver. It supports pluggable extensions.
...
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 ...
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...
*** NEW VERSION 1.9.3 ***
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...
This Eclipse plugin allows to open a shell window or file manager from the popup menu in the navigation tree or editor view. Additionally it is possible to run selected file in the shell, copy file...
JRebel is a productivity tool that allows developers to reload code changes instantly. It skips the rebuild, restart, and redeploy cycle common in Java development. JRebel enables developers to get...
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...
A fully working command-line Terminal inside Eclipse (renamed from "TCF Terminals"). Just press Ctrl+Alt+T to open a local command prompt (Terminal). That's all - it just works :) Pre...
This plugin is a bash script editor.
Features:
Integrated bash debugger
Run bash scripts from IDE by configurable parameters, environment variables etc.
Templates (some defaults + cust...
