Kammerjäger is a debugging tool with integrated correctness proving.
Adds code analysis to Laravel improving developer productivity
The MARKet for Open Source
Management of source code quality is possible.
transfer text in diverse formats into specific xml parser-trees
Tool to translate Nastran to CodeAster file.
Disassemble python byte compiled file for python 2.x
A static source code analyser for vulnerabilities in PHP.
Programming with Millions of Examples
View current download statistics for software on various sites
Software Modularization and Monitoring Tool