[dunham]

I played with web2js a couple of years ago. TeX ends up being a 500kb WASM file (88kb gzipped).

The LaTeX format file or the memory image after LaTeX is loaded are a bit bigger though (2.3 MB and 6.3MB gzipped, respectively).