ty is the most popular Windows, Mac & Linux alternative to Pyre - Type Checker.
ty is the most popular Open Source & free alternative to Pyre - Type Checker.
- ty is Free and Open Source
Pyre - Type Checker Alternatives
Pyre - Type Checker is described as 'Performant type-checking for python' and is an app in the development category. There are six alternatives to Pyre - Type Checker for a variety of platforms, including Mac, Windows, Linux, Python and Visual Studio Code apps. The best Pyre - Type Checker alternative is ty, which is both free and Open Source. Other great apps like Pyre - Type Checker are Pyrefly, Pyright, Mypy and pyanalyze.
Alternatives list
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.
Cost / License
- Free
- Open Source (MIT)
Platforms
- Python
- Visual Studio Code
- Linux
- Mac
- Windows
- BSD
Cost / License
- Free
- Open Source
Platforms
- Mac
- Windows
- Linux
- Python
Mypy is an optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing. Mypy combines the expressive power and convenience of Python with a powerful type system and compile-time type checking.
Cost / License
- Free
- Open Source
Platforms
- Mac
- Windows
- Linux

Pyanalyze is a semi-static type checker for Python code. Like a static type checker (e.g., mypy or pyright), it detects type errors in your code so bugs can be found before they reach production. Unlike such tools, however, it imports the modules it type checks, enabling...
Cost / License
- Free
- Open Source (Apache-2.0)
Platforms
- Mac
- Windows
- Linux
- Python
Cost / License
- Free
- Open Source
Platforms
- Mac
- Windows
- Linux





