Euclid: The Game

A marvelous little game that treats Euclidean construction theorems as puzzles to solve in a web application:

Play it here.

Hat tip: JWS.