Summary: A static type checker for Python

Description:
Mypy is an optional static type checker for Python. You can add type
hints to your Python programs using the upcoming standard for type
annotations introduced in Python 3.5 beta 1 (PEP 484), and use mypy to
type check them statically. Find bugs in your programs without even
running them!

URL: https://github.com/python/mypy
License: MIT and ASL 2.0

Maintainer: nobody