Eclipse integration for Isabelle proof assistant
An Eclipse plug-in for the IBM FileNet P8 Content Engine and CMIS
MpyEditor is an Editor for creating Microcontroller Programs
Lua Editor
Ultra Lightweight Universal IDE
Developer's friendly IDE
Dev-C++ with wxWidgets designer
The Scratch mod, Tiger
the disruptive IDE for COBOL developers