I think the images are static, so presumably pre-rendered server-side. The editing & rendering on the individual example pages seems to making an API call to a server, which I think is running this [1].

[1] https://github.com/davidcarlisle/latexcgi