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