Custom checks, filters and quickfixes for CheckStyle and Eclipse-CS
A static source code analyser for Fortran 90 and C++
The MARKet for Open Source
Search TODO, FIXME and similar comments in project files.
Maven OpenJPA Query Translator Plugin
Kammerjäger is a debugging tool with integrated correctness proving.