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...
The Messaging Toolbox plugins makes it possible to do messaging operations, like adding messages to queues, and read messages from queues.
(Reading is not yet implemented)
The plugins is extend...
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...
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 ...
<FONT face=Arial>EHEP is an Eclipse plugin, which allows user to view or modify any file in hex mode. Plugin provides table with hex and character view of the file.<br><br>EHEP Up...
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...
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 ...
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...
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...
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...
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...
Provides a new entry to Preferences --> General --> Keys (IntelliJ IDEA)
The supported shortcuts can be seen here https://github.com/IntelliJIdeaKeymap4Eclipse/IntelliJIdeaKeymap4Eclipse
...
This plug-in enabled Eclipse to use OpenSSH's ssh-agent. Please remove all configured private keys and activate ssh-agent integration after install. Note: Only works in Eclipse Neon (and above)...
EKube is a simple eclipse integration for kubernetes.
It shall not be a replacement for kubectl, but give developers an convient and fast overview about current situations inside their...
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...
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...
<FONT face=Arial>EHEP is an Eclipse plugin, which allows user to view or modify any file in hex mode. Plugin provides table with hex and character view of the file.<br><br>EHEP Up...
ScriptEclipse allows developers to add functionality to Eclipse by scripting. Supported languages are Python, Ruby, Groovy and JavaScript. Discounted packages here. Video: http://viplugin.com/fil...
FastOpen is the fastest way to open, or navigate to, files in Eclipse 4.
Just press ctrl+r to show the FastOpen window and press Enter to open, or navigate to, selected files. Since FastOpen ran...
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...
OSX Lion supports 'full screen' mode, in which all other windows are pushed to different desktops. Eclipse Indigo does not support this out of the box (yet) so this plugin will enable a full-screen...
