SPIN-based Eclipse Model Checking Plugin
RDF Eclipse Plugins
Community Supported Eclipse Visual Editor
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
An IPR and license management tool for software design
QuickREx2 Regular Expressions
AMOS BASIC reimplementation in Java
Powerful HTML editor
the disruptive IDE for COBOL developers
Workflow Tool for Eclipse