GitHub repository: HackEduca/scratch-microbit-extension
Description: BBC micro:bit Scratch extension