GitHub repository: nceder/micropython
Primary language: C
Description: Port of MicroPython for the BBC micro:bit