GitHub repository: tuomas2/mypy
Primary language: Python
Description: Optional static typing for Python 2 and 3 (PEP484)