Typeshed 是一个为 Python 标准库和第三方包提供静态类型定义和存根（stubs）的集合。它作为静态分析器和集成开发环境（IDE）的标准资源，用于验证代码正确性并提供基于类型的代码补全，而无需修改库的原始源代码。
The main features of python/typeshed are: Type Stub Files, Static Type Definitions, Type Accuracy Validation, Stub Version Mapping, Stub Versioning, Python Library Stubbing, External Library Definitions, Static Type Validation.
Open-source alternatives to python/typeshed include: google/pytype — Pytype is a static code analysis tool and type inference engine for Python. It functions as a static type analyzer… python/mypy — mypy is a static type checker for Python that analyzes source code to detect type errors and inconsistencies without… facebook/pyrefly — Pyrefly is a static type checker for Python that operates as a language server, delivering real-time diagnostics,… astral-sh/ty — This project is a high-performance static type checker and comprehensive development toolkit for Python. It functions… instagram/monkeytype — MonkeyType is a runtime type inferencer and analysis tool for Python. It collects actual argument and return types… microsoft/typescript-handbook — This project is a comprehensive guide and educational resource for the TypeScript language. It covers the fundamental…
Pytype is a static code analysis tool and type inference engine for Python. It functions as a static type analyzer that detects type mismatches and verifies type annotations without requiring full manual hinting, while also serving as a type stub generator for producing standalone definition files. The project distinguishes itself by automatically determining variable and function types through an analysis of code patterns and assignments. This inference engine allows for structural code verification and the generation of type stubs that describe the interfaces of modules and functions. The
mypy is a static type checker for Python that analyzes source code to detect type errors and inconsistencies without executing the program. It functions as a static analysis tool and type inference engine, providing a gradual typing system that allows type hints to be added to a codebase incrementally while maintaining compatibility with dynamic typing. The project distinguishes itself through a combination of performance and precision features. It utilizes a daemon-based incremental checking system and multi-process parallel analysis to manage large codebases, supported by binary cache persi
Pyrefly is a static type checker for Python that operates as a language server, delivering real-time diagnostics, completions, and navigation in any editor supporting the Language Server Protocol. It also performs static tensor shape analysis, using symbolic dimension variables and arithmetic to verify shape consistency in deep learning models without runtime execution. Beyond core type checking, Pyrefly supports gradual adoption workflows: it can generate a baseline of known errors so only new issues are reported, migrate configuration from other type checkers, and automatically suppress exi
This project is a high-performance static type checker and comprehensive development toolkit for Python. It functions as a core analysis engine that identifies type inconsistencies and enforces code correctness, while simultaneously providing a language server implementation to deliver real-time diagnostics and intelligence directly within development environments. The tool distinguishes itself through a parallelized execution engine that maximizes performance across large-scale codebases and monorepo structures. It supports gradual type adoption, allowing developers to integrate type checkin