EarMaster - Professional software for ear training and practical music theory on Windows and Mac.
Sibelius - Sibelius is a virtual score creation tool which allows composers to easily create new piano scores, developed by Avid.
Meludia - Listening exercises and to sharpen your ear and music theory skills
JJazzLab - Fed up with boring backing tracks ? Try JJazzLab!
LenMus - LenMus is a free program for learning music.
Guitar Pro 7 - Create, play and share your tabs