Kammerjäger is a debugging tool with integrated correctness proving.
The MARKet for Open Source
Management of source code quality is possible.
You can admin a SQL Server with php, like PHPMyAdmin for MySQL
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
Benchmark code quality and measure Technical Debt of projects in Sonar
The free open source scanning engine
stat. cvs,svn code changes and generate html report