There is also Ancient Greek Geometry. The user interface is more "elegant", but less powerful.

The main difference is that in Ancient Greek Geometry you don't acquire constructions as atomic procedures, you need to inline all the steps each time. So it doesn't scale to complicated constructions, but on the other hand it is kind of interesting, you get a sort of gut feeling for how many steps are involved in the proofs. For example, a high school textbook will show the construction to make perpendicular lines at, like, page 1, and then you never think about it again. But if you actually have to do all the steps of it each time, you will want to plan out your constructions to make sparing use of perpendicularity...