GitHub repository: shaunstanislauslau/pyre-check
Description: Performant type-checking for python.