pytype
Type checker
Automates type checking and error prevention in Python code
A static type analyzer for Python code
5k stars
55 watching
279 forks
Language: Python
last commit: 8 days 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,380 |
stewori/pytypes | Provides runtime typechecking and annotation tools for Python to enforce strict type compatibility | 200 |
facebook/pyre-check | Type-checking software for Python code | 6,859 |
microsoft/pyright | A static type checker for the Python programming language | 13,427 |
python/mypy | A tool that checks Python code for type-related errors at compile time | 18,511 |
orsinium-labs/infer-types | A CLI tool to automatically add type annotations into Python code | 85 |
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,145 |
instagram/monkeytype | A tool to automatically generate type annotations based on runtime types | 4,779 |
mtshiba/pylyzer | A fast and feature-rich static code analyzer and language server for Python | 2,483 |
quora/pyanalyze | A tool to analyze Python code for type errors and other issues | 343 |
realpython/pytest-mypy | A plugin that integrates mypy with pytest to enable static type checking during unit testing. | 248 |
typeddjango/pytest-mypy-plugins | A plugin for testing type checking and stubs using mypy and pytest | 103 |
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 | 30 |