pytype

Type checker

Automates type checking and error prevention in Python code

A static type analyzer for Python code

GitHub

5k stars
54 watching
282 forks
Language: Python
last commit: about 1 month ago
Linked from 4 awesome lists

linterpythonstatic-analysisstatic-code-analysistypecheckertypestyping

Backlinks from these awesome lists:

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