Eclipse integration for Isabelle proof assistant
An Eclipse plug-in for the IBM FileNet P8 Content Engine and CMIS
Dev-C++ with wxWidgets designer
Tool collection for mapping for Quake 3 based games
HTML5 authoring tool
PL/SQL Editor module for NetBeans IDE