Repetitor is a MIDI player intended as a music training tool.