I managed to get MicroPython versions of these working on a micro:bit with the speaker directly plugged into the IO pins. Lots of fun, and MicroPython was definitely quick enough. :-)