GitHub repository: JakubLenski/PythonEditor
Primary language: HTML
Description: A MicroPython editor for the BBC micro:bit that works with browsers.