Port of MicroPython for the BBC micro:bit - View it on GitHub