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