The web-based visual programming editor
Static type checker for Python
Count lines of code in multiple languages with detailed statistics
Cross-platform application monitoring and error tracking software
An extensible multilanguage static code analyzer
Static code analysis
Sloc, Cloc and Code: scc is a very fast accurate code counter
A linter that helps you avoid errors and enforce conventions
Run code interactively, inspect data, and plot
Ada source code controller
Parsing, analyzing, and comparing source code across many languages
Kammerjäger is a debugging tool with integrated correctness proving.