It's a mixture of patches from different soundfonts, the primary being the amazing Arachno. Playback is done via libtimidity, and old C library that was ported to JS through Emscripten.