Eclipse integration for Isabelle proof assistant
KnowWE has moved, please see http://d3web.sourceforge.net
Set of hints and refactor features for Java language in NetBeans IDE
the disruptive IDE for COBOL developers
PL/SQL Editor module for NetBeans IDE
Tight integration of Eclipse and file manager & shell