micropython-stdlib-stubs (pypi): Reduced copy of typeshed's stdlib for use by MicroPython stub packages
Keywords: micropython|mypy-stubs|pylance|pylint|pyright|python|static-typing|type-checking|vscode