An extremely fast Python type checker and language server written in Rust, offering comprehensive diagnostics and IDE integration.
ty is an extremely fast Python type checker and language server written in Rust. It performs static type analysis on Python code to catch errors before runtime and provides comprehensive IDE features like code navigation, completions, and diagnostics. The project solves the performance limitations of existing Python type checkers while maintaining compatibility with Python's gradual typing system.
Python developers working on medium to large codebases who need fast, reliable type checking and enhanced IDE capabilities. Teams adopting type annotations who want better performance than mypy or Pyright.
Developers choose ty for its exceptional speed (10-100x faster than alternatives) and comprehensive language server features. Its Rust implementation provides performance advantages while maintaining full compatibility with Python's type system and gradual adoption path.
An extremely fast Python type checker and language server, written in Rust.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
Benchmarks show 10x to 100x faster than mypy and Pyright, with fine-grained incremental analysis for real-time IDE updates, as demonstrated on large projects like home-assistant.
Provides comprehensive IDE features including code navigation, completions, auto-import, and inlay hints, enhancing developer productivity through seamless integration.
Supports redeclarations and gradual typing for partially typed code, allowing incremental adoption in existing projects without requiring full annotation upfront.
Features intersection types, sophisticated type narrowing, and reachability analysis, offering more accurate diagnostics and better handling of complex type scenarios.
Uses 0.0.x versioning with no stable API; breaking changes can occur between any versions, making it risky for production environments that require consistency.
Type system support is still evolving with a tracking issue for currently supported features, potentially missing some advanced Python typing constructs available in mature tools.
As a newer tool, it lacks the extensive plugin ecosystem, community resources, and battle-tested integrations that mypy or Pyright have built over years.
ty is an open-source alternative to the following products: