Spotlight
Kopitiam
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...
Console Oomph Installer
Console version of Oomph installer (also called Eclipse installer). Implements a headless installation mode from command line. See more https://github.com/a-langer/eclipse-oomph...
Smart Save
Intelligently saves files after edits.
IntelliJ IDEA keymap for Eclipse
Provides a new entry to Preferences --> General --> Keys (IntelliJ IDEA) The supported shortcuts can be seen here https://github.com/IntelliJIdeaKeymap4Eclipse...
Eclipse Spectrum Dark Theme
Give Eclipse 4.16+ a fresh new look with Spectrum Theme. This free and open-source dark theme plugin enhances your Eclipse IDE experience with a clean visual overhaul that can be...
EML SMILA Speech Transcription Pipelet
Automatic Transcription of Speech