Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

EMMA is a fast Java code coverage tool based on bytecode instrumentation. It differs from the existing tools by enabling coverage profiling on large scale enterprise software projects with simultaneous emphasis on fast individual development.

External diff Tool is an Eclipse plugin that allows the launch of an external diff tool for file compares rather than the default built-in Eclipse diff tool. This plugin doesn't replace the built-in Eclipse tool. It only adds a new menu item to the GUI.

The project is an Eclipse plugin that provides an editor for JavaScript files with syntax highlighting and outlining including some common OO approaches. Supported OO outline features are: Constructor, Class methods, Instance methods, Class variables etc

Orangevolt EclipseXSLT provides XSLT support to the Eclipse platform. It is the Eclipse based successor of the java/swing based ROXES XmlWrite XSLT editing environment. It provides many great enhancements when working with XML/XSLT

Gild is an Eclipse plugin that supports the teaching and learning of programming. Gild currently enables teachers to integrate course materials with code examples. Current project work includes improving collaborative, customization, and marking support.