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...
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...
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...
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...
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 ...
The jCrystal plugin is a tool to create jCrystal projects and generate code from them to both backend and frontend applications.
jCrystal is a fullstack framework based on code generators. It ai...
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...
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 ...
Mograsim is a modular, graphical simulator for teaching microprogramming, ISAs and circuit logic in a way that allows for a smooth transition between those levels.
The aim is to give students a ...
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...
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 ...
Zip, Unzip, verify, manage, view, and edit EULUMDAT and IES files
EULUMDAT is the European standard for photometric data used by all major lighting design programs
IES is the IESNA standard ...
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...
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...
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...
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...
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 jCrystal plugin is a tool to create jCrystal projects and generate code from them to both backend and frontend applications.
jCrystal is a fullstack framework based on code generators. It ai...
Provides a new entry to Preferences --> General --> Keys (IntelliJ IDEA)
The supported shortcuts can be seen here https://github.com/IntelliJIdeaKeymap4Eclipse/IntelliJIdeaKeymap4Eclipse
...
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,...
Timed messages is an eclipse plugin that allows you to configure a timer to display some message.
It's usefull for example when you're in a session of pair programming, and you want to r...
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...
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 ...
