Eclipse integration for Isabelle proof assistant
An Eclipse plug-in for the IBM FileNet P8 Content Engine and CMIS
KnowWE has moved, please see http://d3web.sourceforge.net
Lua Editor
Developer's friendly IDE
The Scratch mod, Tiger
the disruptive IDE for COBOL developers
PL/SQL Editor module for NetBeans IDE