Skip to content

Why GitHub?
Features →
- Customer stories →
- Security →
Team
Enterprise
Explore
- Explore GitHub →
Learn & contribute
Connect with others
Marketplace
Pricing
Plans →
- Compare plans
- Contact Sales
- Nonprofit →
- Education →

In this repository All GitHub

No suggested jump to results

In this repository All GitHub
In this repository All GitHub

Sign in Sign up

penrose / penrose

Watch 136
Star 4.7k
Fork 222

Code
Issues 150
Pull requests 7
Actions
Projects 1
Wiki
Security
Insights

More

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

Labels 65 Milestones 3

Labels 65 Milestones 3

New pull request New

7 Open 131 Closed

7 Open 131 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels.

Projects

Filter by project

Milestones

Filter by milestone

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated

Most reactions

Style 1.1

#398 opened Oct 29, 2020 by wodeni • Draft 0 of 5

8

Mathtransform with jscodeshift

#389 opened Oct 16, 2020 by strout18 • Changes requested

Hyperbolic

#373 opened Sep 2, 2020 by keenancrane 0 of 5

2

Extending Penrose viz-à-viz documentation

#362 opened Jul 23, 2020 by strout18 • Changes requested

Port optimizer and optimization problem generation to the web

#338 opened Apr 15, 2020 by hypotext 0 of 5

8

Add graph domain and graph layout to Penrose

#332 opened Mar 22, 2020 by hypotext 0 of 9

3

Add list types and values to Element & Substance

#175 opened Feb 7, 2019 by dormaayan 0 of 5

ProTip! Type g p on any issue or pull request to go back to the pull request listing page.

© 2020 GitHub, Inc.
Terms
Privacy
Security
Status
Help
Contact GitHub
Pricing
API
Training
Blog
About

You can’t perform that action at this time.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.

We use optional third-party analytics cookies to understand how you use GitHub.com so we can build better products. Learn more.

We use optional third-party analytics cookies to understand how you use GitHub.com so we can build better products.
You can always update your selection by clicking Cookie Preferences at the bottom of the page. For more information, see our Privacy Statement.

Essential cookies

We use essential cookies to perform essential website functions, e.g. they're used to log you in. Learn more

Always active

Analytics cookies

We use analytics cookies to understand how you use our websites so we can make them better, e.g. they're used to gather information about the pages you visit and how many clicks you need to accomplish a task. Learn more