JasonGross/monospacifier
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)
Public GitHub Catalog
Discovered Nov 3, 2026
JasonGross / c-semantics
Semantics of C in K
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.
#51043420GitHub System ID
JasonGrossOrganization / User
PublicVisibility
ActiveCatalog Status
More from JasonGross
JasonGross/lob-paper
A write-up of https://github.com/JasonGross/lob
JasonGross/JonPRL
An proof refinement logic for computational type theory based on Brouwer-realizability & the verificationist meaning explanation. Inspired by Nuprl
JasonGross/NuprlInCoq
Implementation of Nuprl's type theory in Coq