Developer-first infrastructure as code. Your cloud, your language
An extensible multilanguage static code analyzer
Static type checker for Python
.NET Interactive takes .NET and embeds it into your experiences
Sloc, Cloc and Code: scc is a very fast accurate code counter
Automated mass refactoring of source code
A linter that helps you avoid errors and enforce conventions
A source code analyzer
Run code interactively, inspect data, and plot
A tool that helps to detect errors and in your JavaScript code
Walt is a JavaScript-like syntax for WebAssembly text format
Powerfull & Simple Multilanguage IDE Independent Compiler & Debugger
Kammerjäger is a debugging tool with integrated correctness proving.