I recently got back into the Euclidia geometric puzzle app [0]. You start with compass and straightedge tools and build up the techniques to exactly construct the solution to various challenges with the minimal set of operations.
There are hidden puzzles, you can solve for larger polygons like the 17-gon.