We are actively building a community of diagrammers! To get started, join the Penrose community now on discord and see what you can do to achieve the vision of democratizing diagramming and visual intuition.
What you can do
🌹 Make Diagrams
🔭 Do Research
Our team consists of interdisciplinary researchers in programming languages, computer graphics, human-computer interaction, software engineering, and more!
💻 Contribute Code and Docs
💞 Integrate with Tools
We'd love to hear how you'd like to integrate Penrose with your favorite tools! Here are some ongoing tool integration projects:
- Lean: ProofWidgets based on Penrose.
- Obsidian: an experimental
- Alloy visualizer using Penrose.
- Emacs: Org-Babel package