Zuban is a fast Rust-based Python type checker with Mypy compatibility, incremental analysis and language server support for editors.
Read more
Zuban is a fast Rust-based Python type checker with Mypy compatibility, incremental analysis and language server support for editors.
Read more
Syntax Tree is a parser and formatting toolkit with command-line formatting, syntax inspection, searching, mutation and language server support.
Read more
SuperHTML is an HTML validator, formatter and language server with specification-aware diagnostics, editor integration and command-line tools.
Read more
perl-lsp is a Perl language server with type inference, completion, navigation, refactoring, diagnostics and command-line analysis tools.
Read more
basedpyright extends Pyright with stricter diagnostics, additional editor features and baselines for gradually adopting type checks.
Read more
Pyright is a fast Python static type checker with incremental analysis, type inference, configurable checks and language server support.
Read more
ty is a Rust-based Python type checker with incremental analysis, configurable diagnostics and language server integration for editors.
Read more
Pyrefly is a fast Python type checker and language server with incremental analysis, type inference and integration with popular editors
Read more