https://github.com/astral-sh/ty
An extremely fast Python type checker and language server, written in Rust.
https://github.com/astral-sh/ty
Last synced: about 1 hour ago
JSON representation
An extremely fast Python type checker and language server, written in Rust.
- Host: GitHub
- URL: https://github.com/astral-sh/ty
- Owner: astral-sh
- License: mit
- Created: 2025-05-02T16:37:51.000Z (8 months ago)
- Default Branch: main
- Last Pushed: 2025-05-07T17:42:41.000Z (8 months ago)
- Last Synced: 2025-05-07T17:44:18.395Z (8 months ago)
- Language: Python
- Homepage:
- Size: 169 KB
- Stars: 243
- Watchers: 9
- Forks: 3
- Open Issues: 178
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Security: SECURITY.md
Awesome Lists containing this project
- AiTreasureBox - astral-sh/ty - 12-19_14963_163](https://img.shields.io/github/stars/astral-sh/ty.svg)|An extremely fast Python type checker and language server, written in Rust.| (Repos)
- my-awesome-github-stars - astral-sh/ty - An extremely fast Python type checker and language server, written in Rust. (Python)
- StarryDivineSky - astral-sh/ty
- awesome-github-repos - astral-sh/ty - An extremely fast Python type checker and language server, written in Rust. (Python)
- awesome - astral-sh/ty - An extremely fast Python type checker and language server, written in Rust. (Python)
- awesome-starred - astral-sh/ty - An extremely fast Python type checker and language server, written in Rust. (Python)
- Awesome-Full-Stack - ty
- my-awesome-starred - astral-sh/ty - An extremely fast Python type checker and language server, written in Rust. (Python)
- awesome-repositories - astral-sh/ty - An extremely fast Python type checker and language server, written in Rust. (Python)
README
# ty
[](https://github.com/astral-sh/ty)
[](https://pypi.python.org/pypi/ty)
[](https://discord.com/invite/astral-sh)
An extremely fast Python type checker and language server, written in Rust.
Type checking the home-assistant project without caching.
ty is backed by [Astral](https://astral.sh), the creators of
[uv](https://github.com/astral-sh/uv) and [Ruff](https://github.com/astral-sh/ruff).
## Highlights
- 10x - 100x faster than mypy and Pyright
- Comprehensive [diagnostics](https://docs.astral.sh/ty/features/diagnostics/) with rich contextual information
- Configurable [rule levels](https://docs.astral.sh/ty/rules/), [per-file overrides](https://docs.astral.sh/ty/reference/configuration/#overrides), [suppression comments](https://docs.astral.sh/ty/suppression/), and first-class project support
- Designed for adoption, with support for [redeclarations](https://docs.astral.sh/ty/features/type-system/#redeclarations) and [partially typed code](https://docs.astral.sh/ty/features/type-system/#gradual-guarantee)
- [Language server](https://docs.astral.sh/ty/features/language-server/) with code navigation, completions, code actions, auto-import, inlay hints, on-hover help, etc.
- Fine-grained [incremental analysis](https://docs.astral.sh/ty/features/language-server/#fine-grained-incrementality) designed for fast updates when editing files in an IDE
- Editor integrations for [VS Code](https://docs.astral.sh/ty/editors/#vs-code), [PyCharm](https://docs.astral.sh/ty/editors/#pycharm), [Neovim](https://docs.astral.sh/ty/editors/#neovim) and more
- Advanced typing features like first-class [intersection types](https://docs.astral.sh/ty/features/type-system/#intersection-types), advanced [type narrowing](https://docs.astral.sh/ty/features/type-system/#top-and-bottom-materializations), and
[sophisticated reachability analysis](https://docs.astral.sh/ty/features/type-system/#reachability-based-on-types)
## Getting started
Run ty with [uvx](https://docs.astral.sh/uv/guides/tools/#running-tools) to get started quickly:
```shell
uvx ty check
```
Or, check out the [ty playground](https://play.ty.dev) to try it out in your browser.
To learn more about using ty, see the [documentation](https://docs.astral.sh/ty/).
## Installation
To install ty, see the [installation](https://docs.astral.sh/ty/installation/) documentation.
To add the ty language server to your editor, see the [editor integration](https://docs.astral.sh/ty/editors/) guide.
## Getting help
If you have questions or want to report a bug, please open an
[issue](https://github.com/astral-sh/ty/issues) in this repository.
You may also join our [Discord server](https://discord.com/invite/astral-sh).
## Contributing
Development of this project takes place in the [Ruff](https://github.com/astral-sh/ruff) repository
at this time. Please [open pull requests](https://github.com/astral-sh/ruff/pulls) there for changes
to anything in the `ruff` submodule (which includes all of the Rust source code).
See the
[contributing guide](./CONTRIBUTING.md) for more details.
## FAQ
#### Why is ty doing \_\_\_\_\_?
See our [typing FAQ](https://docs.astral.sh/ty/reference/typing-faq).
#### How do you pronounce ty?
It's pronounced as "tee - why" ([`/tiː waɪ/`](https://en.wikipedia.org/wiki/Help:IPA/English#Key))
#### How should I stylize ty?
Just "ty", please.
## License
ty is licensed under the MIT license ([LICENSE](LICENSE) or
).
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in ty
by you, as defined in the MIT license, shall be licensed as above, without any additional terms or
conditions.
