In the summer of '93 I was at the Regional Geometry Institute at Smith College and saw at least two different pieces of software for hyperbolic geometry and one for spherical geometry demonstrated.
I believe one of the hyperbolic geometry programs was called SnapPea, and another was demonstrated by John Conway, who may even be reading this list. The spherical geometry package was, I think, called Cinderella, and was developed in France.
The bad news is that only SnapPea seemed to run on Macintosh computers. Both the others looked like they needed a Next machine or something even bigger.
I know you can build models of the Poincare disk using Sketchpad. Does Key Curriculum sell spheres for studying spherical geometry?
There ought to be a list somewhere of what geometry software exists and how to get it. Does anyone know of such a list?