# astral-sh/ty

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/astral-sh-ty).**

17,287 stars · 216 forks · Python · mit

## Links

- GitHub: https://github.com/astral-sh/ty
- Homepage: https://docs.astral.sh/ty/
- awesome-repositories: https://awesome-repositories.com/repository/astral-sh-ty.md

## Description

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 checking into existing projects incrementally, and features sophisticated analysis capabilities such as branch reachability detection and intersection type support to maintain precision.

Beyond core type checking, the suite provides extensive automation for code quality assurance, including automated refactoring and fix suggestions for identified issues. It offers deep integration with build pipelines and version control systems, while its hierarchical configuration system allows for granular control over analysis rules, environment targeting, and diagnostic reporting across diverse project setups.

## Tags

### Development Tools & Productivity

- [Static Type Checkers](https://awesome-repositories.com/f/development-tools-productivity/code-quality-analysis/static-analysis-engines/static-type-checkers.md) — Functions as a high-performance static analysis engine that identifies type inconsistencies and provides real-time code intelligence.
- [Language Servers](https://awesome-repositories.com/f/development-tools-productivity/language-servers.md) — Runs a background server that communicates with code editors to offer real-time diagnostics and code analysis features. ([source](https://docs.astral.sh/ty/reference/cli/))
- [Python Development Tools](https://awesome-repositories.com/f/development-tools-productivity/python-development-tools.md) — Provides a comprehensive suite for managing project environments, enforcing type safety, and automating code quality checks in Python.
- [Language Server Protocols](https://awesome-repositories.com/f/development-tools-productivity/platforms-runtimes-language-services/language-server-protocols.md) — Communicates with development environments through a standardized messaging interface to provide real-time diagnostics and code intelligence.
- [Automated Code Refactoring](https://awesome-repositories.com/f/development-tools-productivity/code-quality-analysis/static-analysis-engines/static-analysis-tools/code-analysis-and-transformation/automated-code-refactoring.md) — Applies automated fixes for missing imports, resolves diagnostic issues, and safely renames symbols across the entire codebase. ([source](https://docs.astral.sh/ty/features/language-server/))
- [Code Intelligence](https://awesome-repositories.com/f/development-tools-productivity/code-quality-analysis/static-analysis-engines/static-analysis-tools/code-intelligence.md) — Offers intelligent suggestions for variables, functions, and modules while automatically inserting necessary import statements. ([source](https://docs.astral.sh/ty/features/language-server/))
- [Language Server Implementations](https://awesome-repositories.com/f/development-tools-productivity/language-server-implementations.md) — Implements a background service that delivers IDE features like code completion, symbol navigation, and automated refactoring.
- [Language Intelligence Services](https://awesome-repositories.com/f/development-tools-productivity/platforms-runtimes-language-services/language-server-protocols/language-intelligence-services.md) — Delivers real-time code intelligence including completions, navigation, and inlay hints via language server protocols. ([source](https://docs.astral.sh/ty/))
- [Dependency Graph Resolvers](https://awesome-repositories.com/f/development-tools-productivity/dependency-graph-resolvers.md) — Maintains a persistent dependency graph to re-evaluate only the code affected by recent changes, optimizing analysis performance.
- [IDE Integrations](https://awesome-repositories.com/f/development-tools-productivity/ide-integrations.md) — Connects to development environments to provide real-time type checking and code analysis within the editor interface. ([source](https://docs.astral.sh/ty/editors/))
- [Monorepo Managers](https://awesome-repositories.com/f/development-tools-productivity/monorepo-managers.md) — Coordinates multiple related projects within a single repository to simplify dependency management and shared code maintenance.
- [Parallel Execution Engines](https://awesome-repositories.com/f/development-tools-productivity/parallel-execution-engines.md) — Distributes analysis workloads across multiple CPU cores to maximize performance during large-scale codebase scans.
- [CI/CD Integrations](https://awesome-repositories.com/f/development-tools-productivity/ci-cd-integrations.md) — Integrates into version control workflows via hooks to trigger automated checks before code is committed. ([source](https://docs.astral.sh/ty/reference/typing-faq/))
- [Environment Discovery Tools](https://awesome-repositories.com/f/development-tools-productivity/environment-discovery-tools.md) — Automatically detects project environments and interpreters to ensure accurate dependency resolution. ([source](https://docs.astral.sh/ty/type-checking/))
- [Code Intelligence Providers](https://awesome-repositories.com/f/development-tools-productivity/prompt-information-providers/code-intelligence-providers.md) — Surfaces type signatures, documentation, and inlay hints while providing semantic highlighting to clarify code structure during development. ([source](https://docs.astral.sh/ty/features/language-server/))
- [Build Pipeline Integrations](https://awesome-repositories.com/f/development-tools-productivity/workflow-automation-tools/build-task-automation/build-pipeline-integrations.md) — Integrates static analysis checks directly into build pipelines to ensure code quality and type safety during automated builds. ([source](https://docs.astral.sh/ty/installation/))

### Software Engineering & Architecture

- [Static Type Checkers](https://awesome-repositories.com/f/software-engineering-architecture/static-type-checkers.md) — Provides high-performance static type checking for Python codebases to ensure correctness and identify type inconsistencies. ([source](https://docs.astral.sh/ty/reference/cli/))
- [Python Type Checkers](https://awesome-repositories.com/f/software-engineering-architecture/static-type-checkers/python-type-checkers.md) — Identifies type inconsistencies and violations in Python codebases to ensure correctness and improve overall software reliability.
- [Project Configuration Management](https://awesome-repositories.com/f/software-engineering-architecture/project-configuration-management.md) — Manages analysis rules and environment settings through hierarchical configuration files that merge project-level and user-level preferences. ([source](https://docs.astral.sh/ty/configuration/))
- [Incremental Analysis Engines](https://awesome-repositories.com/f/software-engineering-architecture/performance-analysis/incremental-analysis-engines.md) — Performs incremental re-analysis of modified code to provide rapid feedback during development. ([source](https://docs.astral.sh/ty/type-checking/))
- [Adoption Frameworks](https://awesome-repositories.com/f/software-engineering-architecture/type-analysis-tools/adoption-frameworks.md) — Supports incremental type checking integration into existing codebases with flexible rule strictness. ([source](https://docs.astral.sh/ty/))
- [Codebase Navigation Tools](https://awesome-repositories.com/f/software-engineering-architecture/codebase-navigation-tools.md) — Provides tools to jump between symbol definitions, declarations, and references across a workspace. ([source](https://docs.astral.sh/ty/features/language-server/))
- [Rule Configuration Engines](https://awesome-repositories.com/f/software-engineering-architecture/rule-configuration-engines.md) — Manages diagnostic severity levels globally or per-rule to control reporting behavior. ([source](https://docs.astral.sh/ty/reference/configuration/))
- [Reachability Analyzers](https://awesome-repositories.com/f/software-engineering-architecture/code-analysis-tools/reachability-analyzers.md) — Identifies and ignores logically impossible code paths to prevent false positive errors during analysis. ([source](https://docs.astral.sh/ty/features/type-system/))
- [Version Requirement Validators](https://awesome-repositories.com/f/software-engineering-architecture/configuration-versioning/version-requirement-validators.md) — Validates project code against target language versions to ensure syntax compatibility and standard library availability. ([source](https://docs.astral.sh/ty/python-version/))
- [Hierarchical Configuration Systems](https://awesome-repositories.com/f/software-engineering-architecture/hierarchical-configuration-systems.md) — Supports merging configuration settings across directory structures to define project-specific analysis rules and environment constraints.
- [Intersection Type Engines](https://awesome-repositories.com/f/software-engineering-architecture/type-analysis-tools/intersection-type-engines.md) — Combines multiple type constraints into single requirements to ensure objects satisfy all specified properties simultaneously. ([source](https://docs.astral.sh/ty/features/type-system/))

### Testing & Quality Assurance

- [Type Violation Detectors](https://awesome-repositories.com/f/testing-quality-assurance/general-testing-utilities/test-utilities-assertions/error-type-assertions/type-violation-detectors.md) — Analyzes source code to detect and report type inconsistencies and violations. ([source](https://docs.astral.sh/ty/))
- [Code Quality and Review](https://awesome-repositories.com/f/testing-quality-assurance/code-quality-review.md) — Integrates static analysis into build pipelines and version control workflows to enforce coding standards and prevent errors.

### Programming Languages & Runtimes

- [Compile-Time Type Inference](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/type-system-tools/type-definitions/variable-type-declarations/compile-time-type-inference.md) — Implements automatic determination of variable types at compile time to identify inconsistencies without requiring explicit annotations.
- [Module Resolution](https://awesome-repositories.com/f/programming-languages-runtimes/language-ecosystems-tooling/module-management/module-resolution.md) — Defines project roots and search paths to ensure accurate module and dependency resolution. ([source](https://docs.astral.sh/ty/reference/environment/))
- [Incremental Adoption Tools](https://awesome-repositories.com/f/programming-languages-runtimes/language-interoperability/incremental-adoption-tools.md) — Facilitates the incremental addition of type annotations to existing codebases while maintaining flexible configuration.

### DevOps & Infrastructure

- [File-Based Configuration](https://awesome-repositories.com/f/devops-infrastructure/configuration-management/file-based-configuration.md) — Applies custom rule configurations to specific file subsets for granular enforcement. ([source](https://docs.astral.sh/ty/reference/configuration/))