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