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