Key links

A fast type checker meant for large Python source bases.

Features to mention:

  • Comprehensive type checking for Python, supporting both TypeScript-style type annotations and PEP 484 type hints.
  • Can be used as a standalone CLI tool or integrated into editors like VS Code.
  • Supports gradual typing, enabling you to introduce type checking incrementally into existing codebases.
  • Provides detailed type information and diagnostics to help catch potential errors early in the development process.
  • Offers configuration options to customize type checking behavior, including specifying paths, exclusion patterns, and more.