owst/Penrose
Penrose: A reachability checker for Petri Nets with Boundaries
Public GitHub Catalog
Discovered Oct 20, 2026
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
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.
#39797643GitHub System ID
owstOrganization / User
PublicVisibility
ActiveCatalog Status
More from owst
owst/WaterFlow
Haskell solution to the waterflow problem
owst/agda-patience-sort
Agda patience sort
owst/owst.github.io
Source of my website