Choreo – an animation DSL that verifies its own rendered output
Self-verifying animation DSL that proves rendered pixels match the spec before shipping.

Lightweight vector engine running SVG and Lottie animations entirely in the browser.
Game developers, graphics engineers, frontend developers
Skia · Canvas API · LottieFiles
I've been working on ThorVG, an open-source vector graphics engine. It started as a lightweight SVG renderer and has gradually evolved into a rendering engine supporting SVG, Lottie, and modern GPU backends.
This demo showcases the latest ThorVG 1.1 running entirely in the browser.
Try it here: https://thorvg-janitor.vercel.app
ThorVG v1.1: https://www.thorvg.org/post/thorvg-v1-1-rising-the-standard
Self-verifying animation DSL that proves rendered pixels match the spec before shipping.
Orchestrates script-to-video pipeline, but competitors like Runway and D-ID exist.
Pretty shader that the author admits won't make you more productive.
Commits as force graphs over time. Hypnotic but missing actual insights: why branches diverge, merge velocity.
YAML-to-animated-SVG terminal demos with pure CSS—no recording, embeds everywhere.
Text-to-motion-graphics generator—but only a personal tool, not a product yet.