Josverl micropython-stubs Ideas · Discussions · GitHub

MicroPython stubs available via PyPI
Announcements Josverl

Ideas Discussions

Share ideas for new features

You must be logged in to vote

research: is it useful to test with more typecheckers and linters

Josverl started Jan 3, 2024 in Ideas

0
You must be logged in to vote

Find a way to add/generate additional documentation on frozen stubs

Josverl started Mar 20, 2023 in Ideas

0
You must be logged in to vote

Do you think it is useful to publish stubs for the unix port ?

Josverl started Sep 25, 2022 in Ideas

0