ZubanLS
Provides a fast, Mypy-compatible Python language server with completions, goto, references, diagnostics, rename, and type checking.
A Mypy-compatible Python language server built in Rust, providing fast static analysis and IDE features like completions, goto, references, diagnostics, and rename. It solves the problem of slow Python tooling for large-scale projects. It targets professional Python developers and engineering teams, particularly those using LSP-compatible editors. It is positioned as a high-performance alternative to Mypy and Pyright, being 20-200x faster than Mypy, and is available as an open-source tool with commercial licensing options.
Key features
- Mypy config compatibility
- LSP support: completions, goto, hover, rename, references, auto-import
- Error recovery
- Incremental checking
- Watches files
- Python 3.13 support
- Django support
- Passes >95% of Mypy's relevant tests
- Relative, absolute, and stub-only imports
- Type narrowing (isinstance, assert)
- Inferring type context
- Mypy's --new-type-inference
- Understanding list.append, etc.
- Inferring return types
- Written in Rust
- 20-200x faster than Mypy
- Optimized memory usage
- TypeVar / TypeVarTuple / ParamSpec
- Overloads / NewType / Overrides
- Dataclasses / dataclass_transform
- TypedDict / NamedTuple / Enum
- Protocols / Union Types
- Literal Types
- Final / ClassVar / Annotated
- Self Types
- Generic Defaults
- TypeGuard / TypeIs
- No social media activity within the last 30 days
GTM channels
- Blog
- Community
- Docs
ICP
- Software developers
- Engineering teams
- Enterprises