mirror of
https://github.com/vinta/awesome-python.git
synced 2026-05-06 16:03:36 -05:00
[PR #2859] [MERGED] add ty #6575
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/vinta/awesome-python/pull/2859
Author: @JinyangWang27
Created: 1/14/2026
Status: ✅ Merged
Merged: 1/15/2026
Merged by: @vinta
Base:
master← Head:add-ty📝 Commits (2)
6fc1bbdadd ty3f674bafix entry location📊 Changes
1 file changed (+1 additions, -0 deletions)
View changed files
📝
README.md(+1 -0)📄 Description
Project
ty
Checklist
Add project-name* [project-name](url) - Description ending with period.Why This Project Is Awesome
Which criterion does it meet? (pick one)
Explain:
How It Differs
10x - 100x faster than mypy and Pyright.
Comprehensive diagnostics with rich contextual information.
Configurable rule levels, per-file overrides, suppression comments, and first-class project support.
Designed for adoption, with support for redeclarations and partially typed code.
Language server with code navigation, completions, code actions, auto-import, inlay hints, on-hover help, etc.
Fine-grained incremental analysis designed for fast updates when editing files in an IDE.
Editor integrations for VS Code, PyCharm, Neovim and more.
Advanced typing features like first-class intersection types, advanced type narrowing, and sophisticated reachability analysis.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.