Non-Euclidean Geometry Project