This is a file to keep track of all of the type checkers that exist for Python. They are grouped into one of four catagories classified by whether or not they use PEP 484 syntax, and if they are static or dynamic.
- mypy
- pyrefly
- pyright
- ty
- zuban
- PyCharm (IDE inference engine)
- pyre (superseded by pyrefly)
- pytype (abandoned)
- enforce
- typeguard
- typo
- beartype
- ducktype (Python 2 only?)
- strictconf
- pytypecheck
- pytypechecker
- strict-hint
- typesentry
- runtime_type_checks
- checktype
- py_type
- magic-constraints
- pydantic
- typical
- typity
- runtype
- icanhaztypecheck
- stifle
- compliance
- pavlov
- dtype-decorate
- safetynet
- promises
- promises
- tychonov
- accepts.py
- python-typeutils
- python-typesafe (Python 2 only?)
- enforce_types
- typecheck.py
- typist
- python-typesafety
- typecheck
- typedecorator
- pysynthetic
- TypeChecker
- type_check.py
- relaxed_types
- obiwan
- stubgen (not to be confused with mypy's)
- typeassert
- typing_inspect