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

 (github.com)

2 points | by smperng 2 hours ago

1 comments