For those wondering what it actually is, as I was:

https://sonic-pi.net/

"Sonic Pi is your free code-based music creation and performance tool."