
Interactive Pythagorean Theorem
Interactively computing centers of a triangle
Using constraints to compute the Golden Ratio (Drag the diamond!)
Animated bicycle generated by Claude
Cornell University course notes using Constrain for embedded figures: CS 2112, CS 4120/lexer generation, CS 4120/bottom-up parsing