There is a bunch of optimizations, especially around the regular expressions (mostly thanks to this very handy website), so now it won't miss a single midi :].
I decided to make a real user interface (which may remind you something :p) for some additional features, and now the program got a name: GRAMP! (also know as Global Random Midi Player )
This will be released quite soon, as most functions are already working, and in the mean time I'll post some of the scripts here.
The idea is to be able to add midi sources as "plugins", that everyone can write to expand the range of GRAMP!
So here is what the three first sources scripts look like :
So if you want to join, feel free to write a plugin for your favorite website if you like .
I believe it's better to use websites with an id for each song for now, as they're easier to randomize, and usually have a specific info page for each song, with some additional ressources that GRAMP! is probably going to use later.
The app is coming, stay tuned!