wilbowma/scribble
Public repository.
Public GitHub Catalog
Discovered Sep 26, 2026
wilbowma / racket-dev-goodies
Scripts for Racket developers
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.
#8485927GitHub 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