teensy audio library with micropython and esp32

I am looking for ways to do esp32 - teensy lc priced OTA updates. So far, it seems that esp32 should be capable of many of the audio synthesis capabilities of the teensy but so far I haven't been able to find anything as robust as the teensy audio library. So I am curious what might be involved in running teensy audio library code on the esp32 and building it into a micropython library.

Closed. Double post.