Type Checker Python Packages

pylyzer

A fast, feature-rich static code analyzer & language server for Python

basilisk-python

Basilisk was a Python LSP and VSIX. It has been delisted from every channel until we have rebuilt it to only include trustworthy components

pytest-revealtype-injector

Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison

pyrser

A PEG Parsing Tool

torchshapeflow

A static PyTorch tensor shape checker library, and IDE extension

ignyt

The fastest Python code quality engine — type checking, security scanning, dead code detection, complexity analysis & auto-fix in one Rust binary. Replaces mypy, flake8, bandit, vulture, radon, black & isort. 10-100x faster.

strong

Simple dynamic Python type checker

pypls-client

A fast, incremental type checker and language server for Python, written in Go.

typja

An experimental type checker for your Jinja templates using inline annotations

tantu

A typed language with green threads, a type checker and a bytecode VM, in about 6,000 lines of readable Python. Try it in your browser.

pynalyser

Static Python Code Analyzer

pysign

Simple dynamic Python type checker