mypy

Type checker

A tool that checks Python code for type-related errors at compile time

Optional static typing for Python

GitHub

19k stars
239 watching
3k forks
Language: Python
last commit: 5 days ago
Linked from 3 awesome lists

linterpythontypecheckertypestyping

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
kotlinisland/basedmypy A Python type checker built to resolve issues with the mypy project and Python's typing system 143
microsoft/pyright A static type checker for the Python programming language 13,427
google/pytype Automates type checking and error prevention in Python code 4,773
realpython/pytest-mypy A plugin that integrates mypy with pytest to enable static type checking during unit testing. 248
orsinium-labs/mypy-baseline A tool to integrate mypy into an existing Python project and track progress on resolving type errors. 55
shoobx/mypy-zope A plugin to enable type checking of Zope interface implementations in mypy. 39
ymyzk/mypy-playground A web-based tool for running mypy, a static type checker for Python, in a sandbox environment. 71
integralist/vim-mypy A Vim plugin for executing Python's static type checker. 97
davidfritzsche/pytest-mypy-testing A tool to verify mypy's static type analysis output 30
orsinium-labs/typeforce A tool to simplify Python package maintenance by automating type checking and stub installation. 19
typeddjango/pytest-mypy-plugins A plugin for testing type checking and stubs using mypy and pytest 103
dry-python/classes Typed polymorphism primitives for Python business logic 670
orsinium-labs/mypy-test A testing tool for verifying mypy plugin and type functionality 5
asottile/flake8-typing-imports Automatically checks Python typing module imports for compatibility with different Python versions. 49