Every day, scientists must work in the abstract world of mathematical structures, relationships, algorithms, data structures, and processes. This world is often bound to text, depriving the scientist of the power to see.
Penrose is a renderer for the abstract world. We aim to democratize visual intuition for all kinds of scientists and mathematicians, including professionals, students, and educators. We're first targeting the domain of declaratively creating mathematical diagrams.
Penrose is an active research project that began in September 2016. Preliminary work can be found in this two-page proposal (in DSLDI '17) and the accompanying slides. For a very early overview, see the two-page proposal (in OBT '17) and the accompanying slides.
The Penrose team is based at CMU, comprising Katherine Ye, Nimo Ni, Jenna Wise, Lily Shellhammer, Dor Ma'ayan, Josh Sunshine, Jonathan Aldrich, and Keenan Crane. If you're an author, educator, illustrator, or student interested in trying Penrose, please get in touch!
Our system is not yet ready for contributions or wide use, but if you follow the repository and join the mailing list, you'll be the first to hear any news.