A collection of tools that dump MIDI to a variety of formats - View it on GitHub