Here are some categories containing MIDI related resources, which will take you to pages for that kind of resource.
is a list of some band tunes, which is pretty much the same as the list in the "For Drummers" page. This list will probably evolve to be tunes where both pipes and drums play together. Most of the entries are only drums.
MIDI files require a MIDI player to play. The other file types (MP3, WAV, OGG) are audio files which can be played on many devices and in most browsers.
Each list contains a ".zip" file, which is a collection of all the other files in the list, in a compressed size format that can be easily transferred elsewhere.