mypy
Optional static type checker for Python
Infer
Static analyzer for Java, C, C++ and Objective-C
golangci-lint
Fast linters runner for Go
PHPStan
Static analysis that finds bugs in PHP code without running it
SpotBugs
Static analysis for bugs in Java code, successor of FindBugs
detekt
Static code analysis for Kotlin