BitMidi. Una de las más grandes colecciones de archivos de sonido MIDI seleccionados por gente en la que encontrarás muchos muy míticos. https://bitmidi.com/