EarMaster - Professional software for ear training and practical music theory on Windows and Mac.
AthTek DigiBand - AthTek DigiBand is a piece of automatic music composition software for Windows.
Meludia - Listening exercises and to sharpen your ear and music theory skills
Automated Composing System - ACS creates automated arrangements so you can compose music without musical knowledge.
LenMus - LenMus is a free program for learning music.
TrebleMaker - Procedurally generated, royalty-free MIDI compositions