tools / Linters and formatters
Identifiers
- depsdev: pypi/mypy
- github: python/mypy
- mention: mypy
- pypi: mypy
- stackoverflow: mypy
- wikipedia: Mypy
Listed on 2026-10-31. Spot a wrong identifier? Open a pull request on tools/linter.yaml in the catalog.
tools / Linters and formatters
Listed on 2026-10-31. Spot a wrong identifier? Open a pull request on tools/linter.yaml in the catalog.