Basic Code Structure Viewer (for C)
Automated linting of cascading stylesheets
Recursive source code line counter for C, BASIC, and web files.
A c++ wrapper around HTML Tidy Lib
Programming with Millions of Examples
Kammerjäger is a debugging tool with integrated correctness proving.