Sibelius - Sibelius is a virtual score creation tool which allows composers to easily create new piano scores, developed by Avid.
EarMaster - Professional software for ear training and practical music theory on Windows and Mac.
Guitar Pro 7 - Create, play and share your tabs
GNU Solfege - GNU Solfege is free music education software.
Synfire - The comprehensive Music Prototyping Studio for professionals and enthusiasts.
Meludia - Listening exercises and to sharpen your ear and music theory skills