Wow so you give it mathematical statements and it gives you a diagram? Is this what they call as “declarative” programming? I really like how it looks, and I can feel the passion behind the project. Very encouraging to see.
Not sure re-using an already established term, Penrose diagram[0], for something else entirely is a good idea if you want people to find your project through their search engine.
A love the concept behind this project: a system that generates diagrams to represent arbitrary abstract mathematical ideas. At its core seems to be state of the art algorithms for finding nice specific layouts out of the more general constraints of the abstract relationships to be represented.
Ah, my bad, I think it should be higher and the google form should likely be removed. It's also not visible enough in https://penrose.ink/. I guess I've been conditioned by many website, where if I see a email field I think I have to signup to try...
Err, that's the whole reason it is named this way. People will anyway need to specify what kind of penrose thing they want (stairs, triangle, tiling, graphics framework, ...)
https://github.com/3b1b/manim
https://github.com/ManimCommunity/manim