GitHub repository: JoftheV/pyrefly
Description: A fast type checker and IDE for Python