mypy (pypi): Optional static typing for Python
Keywords: linter|python|typechecker|types|typing