Show HN: Choreo – an animation DSL that verifies its own rendered output

(github.com) by smperng | Jul 27, 2026 | 0 comments on HN