As I understand it, the server is being switched over to Erlang https://github.com/sonic-pi-net/sonic-pi/tree/dev/app/server...