discover · compare · collections · requirements · contribute · feed · watching · stats · help with your tokens
meta/pyre-check
Performant type-checking for python.
History and source changes · Reports and owner responses · Compare
Similar
- SonarSource/sonarqube
Continuous Inspection
Why this match
topics code-quality, static-analysis; language differs: OCaml → Java; license differs: MIT → LGPL-3.0
- meta/pyrefly
A fast type checker and language server for Python
Why this match
topics code-quality, python, type-check; language differs: OCaml → Rust
- checkstyle/checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
Why this match
topics code-quality, static-analysis; language differs: OCaml → Java; license differs: MIT → LGPL-2.1
- realm/SwiftLint
A tool to enforce Swift style and conventions.
Why this match
topics code-quality, static-analysis; language differs: OCaml → Swift
- zizmorcore/zizmor
Static analysis for GitHub Actions (and more)
Why this match
topics security, static-analysis; language differs: OCaml → Rust
- meta/infer
A static analyzer for Java, C, C++, and Objective-C
Why this match
topics code-quality, static-analysis
- python/mypy
Optional static typing for Python
Why this match
topics python, typechecker; language differs: OCaml → Python
- google/error-prone
Catch common Java mistakes as compile-time errors
Why this match
topics static-analysis; language differs: OCaml → Java; license differs: MIT → Apache-2.0