All these songs have been sequenced in Midi format, and they're all playable on all keyboards (Arrangers and Workstations that are GM compatible). You can also used them in Software Sequencers such as ProTools, Cubase and so on.