Static Typing Python Packages

typing

Python static typing home. Hosts the documentation and a user help forum.

optype

Opinionated typing package for precise type hints in Python

mypy-baseline

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

mypy-zope

Plugin for mypy to support zope.interface

phantom-types

Phantom types for Python.

micropython-stdlib-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-esp32-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-stubber

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

micropython-rp2-rpi-pico-w-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-rp2-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

daslang

daslang - high-performance statically strong typed scripting language

micropython-stm32-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-rp2-rpi-pico2-w-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

pytest-revealtype-injector

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

micropython-esp32-esp32-generic-c6-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-esp8266-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-esp32-esp32-generic-c3-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-esp32-esp32-generic-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

tpy-lang

TurboPython: a Python-to-C++ compiler. Typed Python to native binaries with no Python runtime, no GC, no GIL.

jivago

The highly-reflective object-oriented Python web framework

micropython-rp2-rpi-pico-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-stm32-pybv11-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-samd-seeed-wio-terminal-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

micropython-samd-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.