Cost / License
- Free
- Open Source (MIT)
Platforms
- Mac
- Linux
- Windows
- Docker
- Python
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.
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.
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.
