Kopitiam is an Eclipse plugin for certifying full functional
correctness of Java programs using a higher-order separation
logic. Kopitiam extends the Java IDE with an interactive environment
for...
LinK+ IDE is a simple IDE for Linux Kernel Developers and Lovers. It is based on Eclipse IDE customized for Linux kernel programming. It reduces the development time and executes code in an elegan...
SmartClose intelligently closes unused editor tabs after a period of time.
You can use this plugin in conjunction with FastOpen to reopen closed editor tabs quickly.
Features
Set period ...
AiXcoder Code Completer & Code Search Engine for Java
AiXcoder is a powerful code completer & code search engine based on state-of-the-art deep learning technology. It has the potential ...
This is a basic but powerfull Eclipse Plugin for Gitlab Snippets.
With this plugin you can add, see, delete and create Gitlab snippets in a very easy way.
It's also possible to filter the...
Palladio is a software architecture simulation approach which analyses your software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for a subseq...
MultiProperties Editor is an Eclipse plugin for editing multiple key-value based files with similar content. This kind of file format can be Properties for example in Java programming language, whi...
The Eclipse Runner plugin improves the way of dealing with launch configurations in the Eclipse IDE. The plugin adds a new view called "Runner" to Eclipse. The view allows you to categori...
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 ...
Health Center is a diagnostic tool for monitoring the status of a running Java or Node.js application. Heath Center uses a small amount of processor time and memory, and can open some log and trace...
Note: This is no longer the latest version. For the latest features, including support for Eclipse 4.4, see:
https://marketplace.eclipse.org/content/ibm-mq-explorer-version-9
MQ Explorer enab...
MouseFeed helps to form a habit of using keyboard shortcuts. When the user clicks on a button or on a menu item, the plugin shows a popup reminding about the key shortcut. After a few times, you re...
Share Your Eclipse Setup With Your Team
The Launcher is a lightweight desktop app and the easiest way to organize your Eclipse setups – for yourself, your team, or within the community. Sa...
AiXcoder Code Completer & Code Search Engine for Java
AiXcoder is a powerful code completer & code search engine based on state-of-the-art deep learning technology. It has the potential ...
Never write glue code for @NamedQueries or @NamedNativeQueries yourself again.
The anqu method plug-in generates Java code to access @NamedQueries providing a compiler checked, typed,...
Eclipse community awards 2009 finalist
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. AnyE...
Ascape is an innovative tool for developing and exploring general-purpose agent-based models. Ascape includes extensive (and interactive) documentation that is designed to work with the Eclipse AMP...
Butterflyzer is not just a new software product, but an entirely new category of software. We're calling it a "Content Intelligence Environment". Butterflyzer is an integrated desktop application f...
Code Rocket Eclipse is a code visualization and documentation tool designed to reduce software development time and costs. It supports the Java programming language and integrates with Eclipse.
...
Code Rocket for Eclipse integrates our unique and intuitive pseudocode and flowchart editors into your Eclipse IDE and has been specifically designed to improve the efficiency and reduce the cost o...
Cupid is a development and training environment for models that use the Earth System Modeling Framework (ESMF) and National Unified Operational Capability (NUOPC) Layer infrastructure. Cupid's ...
Diver is a dynamic analysis tool for Java that integrates scalable sequence diagram views with an interactive trace-focused UI in Eclipse. Diver provides sophisticated debugging support for unders...
A small timer plugin intended for use as a rotation timer in a Coding Dojo.
The plugin interrupts you after the set time runs out.
It forbids further access to any eclipse functionality...
The Dynatrace Eclipse Integration Plugin allow you to:
launch applications with an injected Dynatrace Agent directly from Eclipse
retrieve & display the key architectural metrics ...
