It looks like they are planning on adding a MusicXML export from this issue https://github.com/alda-lang/alda/issues/44. Is there any tool which convert from MusicXML to MIDI?