JasonGross/monospacifier
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)
Public GitHub Catalog
Discovered Sep 29, 2026
JasonGross / benediktahrens-coq-fossil
Clone of http://web.math.unifi.it/~benedikt/r.cgi/coq
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.
#15830237GitHub System ID
JasonGrossOrganization / User
PublicVisibility
ActiveCatalog Status
More from JasonGross
JasonGross/lob-paper
A write-up of https://github.com/JasonGross/lob
JasonGross/c-semantics
Semantics of C in K
JasonGross/JonPRL
An proof refinement logic for computational type theory based on Brouwer-realizability & the verificationist meaning explanation. Inspired by Nuprl