Can’t manage the pony and world peace but I have now updated the repository with an OSC version. The files you need are in the sonic_pi folder. Note this has soft links to the rtttl.py and songs.py files. You can add these files explicitly to the sonic_pi folder from the parent and then the sonic_pi folder contains all that you need. look at the README file for details of usage. You can of course edit the songs.py file and add your own rtttl files. In this case you will need to update the list of songs in the Sonic Pi program as well.
Finally if you are running different types of computer with Sonic Pi you may need to make adjustments because of latency to keep them properly in sync. This can be done by adding delays to the lower latency machines in the playring live_loop so that they sound at the same time as the slower machines.
updated repository link is the same as in my reply here