Its straight up webaudioapi making use of the fluid soundfont - see credits at bottom of website. I have not used tone.js though I have come across it.