Skip to content

Conversation

Josverl
Copy link

@Josverl Josverl commented Oct 16, 2025

I created these stubs for the micropython-stub project,
but I think they are better at home in the pyscript org.

The stubs have been created using a combination of scripting, manual edits and and integration of snippets of documentation from the pyscript docs.

for the micropython version the docs are orginised in a parsable manner - I have not found the time to even attempt the same for pyscript as the documentation structure is significantly different.

Possibly the documentation or API reference could be created from the stubs, and integrated into the documentation. But that is a wider discussion.

Structure

@gregersn
As the incoming stubs or overlapping with, and I think more complete than the pre-existing stubs, I have moved them into a subfolder, as they may still be relevant to Pyscript + Cpython use.

what is your recommendation on this ?
Happy to adjust as needed.

Licensing

I publish all my stubs under the MIT License, but have no object to dual licensing under MIT and Apache

Signed-off-by: Jos Verlinde <Jos_Verlinde@hotmail.com>
Signed-off-by: Jos Verlinde <Jos_Verlinde@hotmail.com>
Signed-off-by: Jos Verlinde <Jos_Verlinde@hotmail.com>
Signed-off-by: Jos Verlinde <Jos_Verlinde@hotmail.com>
Signed-off-by: Jos Verlinde <Jos_Verlinde@hotmail.com>
@Josverl Josverl changed the title Contributing Contributing MicroPython type stubs for Pyscript Oct 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant