Ask HN: Is there a OS tool which queries MIDI datasets by chord progression/key?
ps - I'm fully aware of generative music AIs (in fact I maintain one: https://signalsandsorcery.org/ , but in this case I'm interested in brute-force searching datasets.