Check out pxtone web for a full-fledged platform for sharing pxtone pieces using this player! A slightly outdated demo for playing local files is available here.

Make sure Emscripten is installed. I have 1.38.36 myself. Install all js dependencies in the submodules:

cd pxtnDecoder
npm install

cd PxtoneJS
npm install

Then make in the parent folder. Run python3 server.py and navigate to https://localhost:8080/.

Thanks to Pixel for making this wonderful software, and petamoriken for the decoder and base audio player/JS library!