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.

jivago

The highly-reflective object-oriented Python web framework

micropython-stubber

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

micropython-esp32-stubs

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

typol

A typed layer on top of Polars, for statically enforcing schema types for dataframes

micropython-rp2-stubs

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

micropython-esp32-esp32-generic-s3-stubs

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

micropython-stm32-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.

micropython-samd-seeed-wio-terminal-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-rp2-rpi-pico-w-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.

micropython-rp2-rpi-pico-stubs

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

micropython-esp32-esp32-generic-c6-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-esp8266-esp8266-generic-stubs

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

micropython-rp2-rpi-pico2-stubs

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

micropython-esp32-esp32-generic-s2-stubs

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