Hah. That question comes up on every single one of his explainers. The answer is none; he hand-crafts the JavaScript and WebGL shaders. From the design language, I’d guess he has built up a library of templates and snippets to draw from by now, but all in all, each of these pages is a bespoke work of art.