Just to flag this one, though you may have noticed it already: Arduino support for MicroPython - an optimised version of the language that runs on MCUs - is now available as a downloadable editor.