type checker Archives

Zuban – fast Python type checker and language server

Zuban is a fast Rust-based Python type checker with Mypy compatibility, incremental analysis and language server support for editors.

basedpyright extends Pyright with stricter diagnostics, additional editor features and baselines for gradually adopting type checks.

Pyright is a fast Python static type checker with incremental analysis, type inference, configurable checks and language server support.

Beartype checks Python type annotations at runtime using decorators and import hooks, with support for custom validators and containers.

ty is an extremely fast Python type checker and language server, written in Rust.

ty is a Rust-based Python type checker with incremental analysis, configurable diagnostics and language server integration for editors.

Pyrefly is a fast Python type checker and language server with incremental analysis, type inference and integration with popular editors

Mypy adds gradual static typing to Python projects, with generics, strict checks, incremental analysis and an extensible plugin system.