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...
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...
If you are an eclipse user / developer and you have to manage csv file, the CSV Edit plugin is for you.
Installation
* update-site
This is definitly the easiest and straightforwa...
A jACT-R extension that uses RDF as its internal data-structure and allows LarKC workflows to be run from jACT-R models. jACT-R is a Java native implementation of the ACT-R (Anderson, 2007) cogniti...
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)...
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...
Interactive Diagnostic Data Explorer is a GUI-based alternative to the dump viewer (jdmpview command) that is part of your IBM Java Development Kit or Runtime Environment. Use the Interactive Diagn...
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...
Awarded Best RCP Application in the Eclipse Conference awards!
Download it here http://www.justinmind.com/downloads/wireframe_tool . Define web and mobile applications with Rich Interactive...
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,...
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...
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...
Yes, you can actually 'Step BACK'! Chronon is a revolutionary time travelling debugger that allows you to actually 'step back' in your code while debugging.
Its a revolutionary new technology ...
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...
If you are an eclipse user / developer and you have to manage csv file, the CSV Edit plugin is for you.
Installation
* update-site
This is definitly the easiest and straightforwa...
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 ...
devoTEE is set of eclipse plug-ins which integrates EDA tools and manages EDA related files as the eclipse project. This supports gEDA/gaf tools (www.gpleda.org) of gschem, pcb, gnetlist, gsche2pc...
