Penrose is a system for declaratively creating semantics-driven visualizations. We aim to democratize visual intuition by enabling users to create diagrams at the domain level, freeing them from pixel-level manipulation. We're first targeting the domain of math.

Penrose is an active research project that began in September 2016. Our latest work can be found in this two-page proposal (in DSLDI '17) and the accompanying slides. For an 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, Keenan Crane, Jonathan Aldrich, and Josh Sunshine. 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 about any news.