This is Pedro PSI's puzzlescript Game Bar, which you can add to your puzzlescript games.
Full details at the official page
If you have any ideas, requests or would like to report an issue please use the issue log at: https://github.com/pedropsi/game-bar-source/issues
Pull requests are welcome as well.
The bar is always live at: https://pedropsi.github.io/platformer-template#github-psbar (it's the same for all games)
This live version updates in sync with the official game bar, (aart from a few features specific to the PSI site).