Searching for links to Bolyai:
Axiom
EuclideanGeometry