This is not an Arduino IDE extension – it’s a separate Arduino IDE-shaped app that does MicroPython editing and uploads code to your board from a friendly environment.

However, it was a challenge trying to teach my 10-year-old Arduino programming. That said, I observed he could zip through the Python tutorials on code academy pretty easily.