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