Eclipse-based IDE for design verification tasks
Develop parallel programs. Try various thread configs. GUI front-end.
Integrates Checkstye into the Eclipse IDE
JMEDS is a lightweight, modular extendable Java Framework for DPWS.
Open-source automated grading of programming assignments
Literate programming for eclipse
BinNavi is a binary analysis IDE that allows to inspect, navigate, etc
Natural Language Processing (NLP) for the Masses
Easily configure ARM CMSIS files without Keil
Label-free protein quantification for LC-MS
Eclipse plugin that opens system console, file browser for selection
Maui is the Maltcms User Interface
An Eclipse RCP program for all aspects of a (Swiss) medical practice