bitmidi.com
BitMidi is a web service for listening to and downloading MIDI files, with playback in the browser. The site states that it serves 113,229 MIDI files curated by volunteers around the world. Its author describes compiling the timidity library to WebAssembly to provide inline MIDI playback.