pytype
Type checker
Automates type checking and error prevention in Python code
A static type analyzer for Python code
5k stars
54 watching
282 forks
Language: Python
last commit: about 1 month ago
Linked from 4 awesome lists
linterpythonstatic-analysisstatic-code-analysistypecheckertypestyping
Related projects:
Repository | Description | Stars |
---|---|---|
python/typeshed | Provides external type annotations for the Python standard library and third-party packages to support static analysis and type checking. | 4,419 |
stewori/pytypes | Provides runtime typechecking and annotation tools for Python to enforce strict type compatibility | 201 |
facebook/pyre-check | Type-checking software for Python code | 6,885 |
microsoft/pyright | A static type checker for the Python programming language | 13,573 |
python/mypy | A tool to help catch errors in Python code by checking type compatibility and hints at compile time | 18,687 |
orsinium-labs/infer-types | A CLI tool to automatically add type annotations into Python code | 86 |
pvs-hd-tea/pytypes | Infer static type information from Python code by tracing execution paths | 11 |
pydantic/pydantic | A Python library for validating data using type hints and JSON Schema. | 21,677 |
instagram/monkeytype | A tool to automatically generate type annotations based on runtime types | 4,797 |
mtshiba/pylyzer | A fast and feature-rich static code analyzer and language server for Python | 2,550 |
quora/pyanalyze | A tool to analyze Python code for type errors and other issues | 350 |
realpython/pytest-mypy | Automates mypy static type checking as part of pytest test runs | 249 |
typeddjango/pytest-mypy-plugins | A plugin for testing type checking and stubs using mypy and pytest | 107 |
mariusvniekerk/pytest-monkeytype | A pytest plugin that generates annotations and stubs for Python modules based on their type definitions | 43 |
davidfritzsche/pytest-mypy-testing | A tool to verify mypy's static type analysis output | 31 |