re: "non-euclidean geometry" and tangentially related, Manifold Garden gets huge points from me for not calling itself non-euclidean in its advertising at all when it would be so easy, instead using "escher-esque" which is a great term, and also having "manifold" in the name when its areas are literally manifolds. no I've never played it I don't know if it's good but there's some sort of math nerd behind that and I love that for them