Pyrefly is a type checker and language server for Python, which provides lightning-fast type checking along with IDE features such as code navigation, semantic highlighting, and code completion. It is available as a command-line tool and a VSCode extension.
I see there are a few performance comparisons, but I wonder how this compares to ty. I guess it may be a while before we can really compare the two since they're both in alpha/beta.
no pycharm? no, thank you
PyCharm users can enable native Pyrefly support in the settings:
Go to Python | Tools | Pyrefly in the Settings dialog.