There is a link to the source code of the whole vga playground in the top right of the screen.

That's what I was looking at and what prompted me to comment. That repository contains a binary blob (src/verilator/verilator_bin.wasm) without any corresponding source code.