Hacker News new | ask | show | jobs
Show HN: Choreo – an animation DSL that verifies its own rendered output (github.com)
2 points by smperng 3 days ago