wilbowma/nuprl.github.io
Web site
Public GitHub Catalog
Discovered Oct 6, 2026
wilbowma / cps-from-stlc-to-sysf
Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
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.
#32271084GitHub System ID
wilbowmaOrganization / User
PublicVisibility
ActiveCatalog Status
More from wilbowma
wilbowma/scribble.vim
Syntax for scribble (http://docs.racket-lang.org/scribble/index.html)
wilbowma/vim-racket
vim bundle for Racket, for use with Pathogen
wilbowma/Radicale
A simple CalDAV (calendar) and CardDAV (contact) server.