pyre-check (pypi): A performant type checker for Python
Keywords: typechecker|development