The web-based visual programming editor
Count lines of code in multiple languages with detailed statistics
Cross-platform application monitoring and error tracking software
Static type checker for Python
An extensible multilanguage static code analyzer
A linter that helps you avoid errors and enforce conventions
It's not just a linter that annoys you!
Sloc, Cloc and Code: scc is a very fast accurate code counter
Checked C is an extension to C that lets programmers write C code
Static code analysis
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.