astral-sh/ty

Features

• Static Type Checkers - Functions as a high-performance static analysis engine that identifies type inconsistencies and provides real-time code intelligence.
• Language Servers - Runs a background server that communicates with code editors to offer real-time diagnostics and code analysis features.
• Python Development Tools - Provides a comprehensive suite for managing project environments, enforcing type safety, and automating code quality checks in Python.
• Static Type Checkers - Provides high-performance static type checking for Python codebases to ensure correctness and identify type inconsistencies.
• Python Type Checkers - Identifies type inconsistencies and violations in Python codebases to ensure correctness and improve overall software reliability.
• Language Server Protocols - Communicates with development environments through a standardized messaging interface to provide real-time diagnostics and code intelligence.
• Type Violation Detectors - Analyzes source code to detect and report type inconsistencies and violations.
• Automated Code Refactoring - Applies automated fixes for missing imports, resolves diagnostic issues, and safely renames symbols across the entire codebase.
• Code Intelligence - Offers intelligent suggestions for variables, functions, and modules while automatically inserting necessary import statements.
• Language Server Implementations - Implements a background service that delivers IDE features like code completion, symbol navigation, and automated refactoring.
• Language Intelligence Services - Delivers real-time code intelligence including completions, navigation, and inlay hints via language server protocols.
• Compile-Time Type Inference - Implements automatic determination of variable types at compile time to identify inconsistencies without requiring explicit annotations.
• Project Configuration Management - Manages analysis rules and environment settings through hierarchical configuration files that merge project-level and user-level preferences.
• Code Analysis - Listed in the “Code Analysis” section of the Awesome Python awesome list.
• Developer Tools - Fast Python type checker.
• Static Type Checkers - Extremely fast static type checker built in Rust.
• Type Checking - High-performance type checker and language server.
• Dependency Graph Resolvers - Maintains a persistent dependency graph to re-evaluate only the code affected by recent changes, optimizing analysis performance.
• IDE Integrations - Connects to development environments to provide real-time type checking and code analysis within the editor interface.
• Module Resolution - Defines project roots and search paths to ensure accurate module and dependency resolution.
• Incremental Analysis Engines - Performs incremental re-analysis of modified code to provide rapid feedback during development.
• Adoption Frameworks - Supports incremental type checking integration into existing codebases with flexible rule strictness.
• Code Quality and Review - Integrates static analysis into build pipelines and version control workflows to enforce coding standards and prevent errors.
• Monorepo Managers - Coordinates multiple related projects within a single repository to simplify dependency management and shared code maintenance.
• Parallel Execution Engines - Distributes analysis workloads across multiple CPU cores to maximize performance during large-scale codebase scans.
• Incremental Adoption Tools - Facilitates the incremental addition of type annotations to existing codebases while maintaining flexible configuration.
• Codebase Navigation Tools - Provides tools to jump between symbol definitions, declarations, and references across a workspace.
• Rule Configuration Engines - Manages diagnostic severity levels globally or per-rule to control reporting behavior.
• CI/CD Integrations - Integrates into version control workflows via hooks to trigger automated checks before code is committed.
• Environment Discovery Tools - Automatically detects project environments and interpreters to ensure accurate dependency resolution.
• Code Intelligence Providers - Surfaces type signatures, documentation, and inlay hints while providing semantic highlighting to clarify code structure during development.
• Build Pipeline Integrations - Integrates static analysis checks directly into build pipelines to ensure code quality and type safety during automated builds.
• File-Based Configuration - Applies custom rule configurations to specific file subsets for granular enforcement.
• Reachability Analyzers - Identifies and ignores logically impossible code paths to prevent false positive errors during analysis.
• Version Requirement Validators - Validates project code against target language versions to ensure syntax compatibility and standard library availability.
• Hierarchical Configuration Systems - Supports merging configuration settings across directory structures to define project-specific analysis rules and environment constraints.
• Intersection Type Engines - Combines multiple type constraints into single requirements to ensure objects satisfy all specified properties simultaneously.

Star history