Non-Euclidean Geometry++