a DSL for type systems, reduction rules, interpreters for Xtext langs
Product Backlog Eclipse connector for Mylyn
Jxt4RunPlusJ is a source code editor and creator.
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