micropython-esp32-um-tinypico-stubs (pypi): MicroPython stubs
Keywords: micropython|mypy-stubs|pylance|pylint|pyright|python|static-typing|type-checking|vscode