Eclipse integration for Isabelle proof assistant
An Eclipse plug-in for the IBM FileNet P8 Content Engine and CMIS
Lua Editor
Developer's friendly IDE
The Scratch mod, Tiger
the disruptive IDE for COBOL developers
PL/SQL Editor module for NetBeans IDE