A free MIDI files library website with 3K tracks (tagged with bpm, instruments, country, genre, etc.), collected by a music teacher at the end of the 20th century, mostly folk music
The top open-source alternatives to Midikaos
are BitMidi.
One of the criteria for ordering this list is the number of mentions that products have on reliable external sources.
You can suggest additional sources through the form here.