Nonstop2k MIDI
7000+ MIDI files | 35MB
Those are user made midi files, so they may are incomplete and contain only parts of electronic music tracks. But they can be used to study melodies, structure or even as concepts to write new melodies or get inspiration from.