MicroPython for the BBC Micro:bit that has additional features/libraries added in for the GiggleBot - View it on GitHub