owst/Penrose
Penrose: A reachability checker for Petri Nets with Boundaries
Public GitHub Catalog
Discovered Oct 14, 2026
owst / agda-patience-sort
Agda patience sort
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#37096666GitHub System ID
owstOrganization / User
PublicVisibility
ActiveCatalog Status
More from owst
owst/WaterFlow
Haskell solution to the waterflow problem
owst/boris-bike-distance-mapper
A simple webpage that will map London Boris bike locations, and how far you can get in the free 30 minute period
owst/owst.github.io
Source of my website