Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Penrose

< >

Penrose is a diagram lang created in 2016 by Katherine Ye and Wode Ni and Max Krieger and Dor Ma鈥橝yan and Jenna Wise and Jonathan Aldrich and Joshua Sunshine and Keenan Crane.

#240on PLDB 9Years Old
Download source code:
git clone https://github.com/penrose/penrose
HomepageREPLSource CodeBlogTwitterDocs

Create beautiful diagrams just by typing notation in plain text.


Example from the web:
Set A, B, C, D, E, F, G Subset(B, A) Subset(C, A) Subset(D, B) Subset(E, B) Subset(F, C) Subset(G, C) Disjoint(E, D) Disjoint(F, G) Disjoint(B, C) AutoLabel All

- Build the next great programming language Add Add Prompt Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v175.2.1