wilbowma/scribble
Public repository.
Public GitHub Catalog
Discovered Sep 25, 2026
wilbowma / trash.sh
Make rm use a trash folder.
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.
#4504082GitHub System ID
wilbowmaOrganization / User
PublicVisibility
ActiveCatalog Status
More from wilbowma
wilbowma/cps-from-stlc-to-sysf
Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
wilbowma/pgmp
The source code for Profiled-Guided Meta-Programming (PLDI 2015)
wilbowma/cur
A less devious proof assistant