Thanks! I think the music ended up pretty ok on this. I'm not great at making music and here my main goal was to just make something chill that fits the pacing of the game and doesn't completely mismatch the theme/mood.
The leaderboards use an existing service I've made some years ago which I've been using on all my score based games. Of course the client side can be found in the sources but that won't really help you that much without the server side. It's really simple though, just turn data to JSON, throw it to a PHP script which deserializes it (does some simple verification too to make spoofing not so easy) and dumps it to a MySQL database. And then the same in other direction too for loading the scores. So basically the 101 PHP/MySQL intro tutorial the internet is filled with.