a DSL for type systems, reduction rules, interpreters for Xtext langs
Paste from your Copy history!
Product Backlog Eclipse connector for Mylyn
Jxt4RunPlusJ is a source code editor and creator.
JetBrains Meta programming System
Eclipse integration for Isabelle proof assistant
An Eclipse plug-in for the IBM FileNet P8 Content Engine and CMIS