The labs use Java software NonEuclid by Joel Castellanos et al. available at http://www.cs.unm.edu/~joel/NonEuclid/NonEuclid.html
The labs refer to the text-book "Foundations of Geometry'' by G. A. Venema