Impro-Visor is a music notation and playback tool for helping jazz musicians learn to improvise. It features a notation GUI, automated playback of chords and rhythm using MIDI, and improvisation advice provided in a variety of ways, including being able to improvise jazz itself. Data are stored as open-format text files. MIDI and MusicXML export are also available.
Strasheela is a highly expressive constraint-based music composition system. Users declaratively state a music theory and the computer generates music which complies with this theory. A theory is formulated as a constraint satisfaction problem (CSP) by a set of rules (constraints) applied to a music representation in which some aspects are expressed by variables (unknowns). Music constraint programming is style-independent and is well-suited for highly complex theories (e.g. a fully-fledged theory of harmony). Results can be output into various formats including MIDI, Lilypond, and Csound.