MicroPython#

ide49 supports programming microcontrollers with the IoT Kernel in Jupyter. You can also get a REPL prompt.

The environment supports compiling MicroPython and flashing compiled or downloaded binaries to the microcontroller.