wilbowma/cps-from-stlc-to-sysf
Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
Public GitHub Catalog
Discovered Oct 5, 2026
wilbowma / pgmp
The source code for Profiled-Guided Meta-Programming (PLDI 2015)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#30623902GitHub System ID
wilbowmaOrganization / User
PublicVisibility
ActiveCatalog Status
More from wilbowma
wilbowma/cur
A less devious proof assistant
wilbowma/s3ql-rotating-snapshots
Public repository.
wilbowma/tekkit-on-demand
Public repository.