Looking (briefly) at the source code, it looks like they are at least partially using source code from Cocotron

https://cocotron.org/