GitHub repository: tommy-tai/pyrefly
Description: A fast type checker and IDE for Python