github.com/python/mypy (go): Optional static typing for Python
Keywords: linter|python|typechecker|types|typing