Static source code analysis tool for C and C++ code
Side-by-side diff viewer, editor and merge preparer
An app for storing code, text & more. A popular Open Source pastebin.
Ada source code controller
transfer text in diverse formats into specific xml parser-trees
Management of source code quality is possible.
Integrates Checkstye into the Eclipse IDE
A Java-written extractor for all your Thymeleaf localization strings
Open source and free source code static analyzer
Search TODO, FIXME and similar comments in project files.
A program to check source code for mispelings...
Utilities for AdLint the source code static analyzer
XJML 1.0 is a platform for Verification and Validation of Java classes
You can admin a SQL Server with php, like PHPMyAdmin for MySQL
Kammerjäger is a debugging tool with integrated correctness proving.