We've been using Earsketch with students: https://earsketch.gatech.edu/ https://earsketch.gatech.edu/ But when we tried to self-host or do an offline version,

We've been using Earsketch with students: https://earsketch.gatech.edu/ https://earsketch.gatech.edu/ But when we tried to self-host or do an offline version, it was impossible to find the library. Perhaps it isn't open-source. Thanks to the links in this thread, now I have some other projects to try instead.