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 and Columbia University, comprising Katherine Ye, Nimo Ni, Jenna Wise, Keenan Crane, Jonathan Aldrich, Josh Sunshine, and Dor Ma'ayan (incoming). 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.