Show HN: Choreo – an animation DSL that verifies its own rendered output(github.com)
2 pointsby smperng5 hours ago1 comment