thonny-microbit (pypi): A plug-in which adds BBC micro:bit support for Thonny
Keywords: IDE|education|programming|microbit|MicroPython|Thonny