pytype

Type checker

Automates type checking and error prevention in Python code

A static type analyzer for Python code

GitHub

5k stars
55 watching
279 forks
Language: Python
last commit: 8 days 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,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