The Python code editor for the BBC micro:bit that's used by TouchDevelop. - View it on GitHub