JasonGross/outrageous-interpreter
Automatically exported from code.google.com/p/outrageous-interpreter
Public GitHub Catalog
Discovered Oct 6, 2026
JasonGross / repo-8.5
Public repository discovered through GitHub real-time crawl.
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.
#32109096GitHub System ID
JasonGrossOrganization / User
PublicVisibility
ActiveCatalog Status
More from JasonGross
JasonGross/stories
Various stories from my life
JasonGross/metacoq
Reflection library for Coq
JasonGross/HoTT-mathcamp-2015-class
Syllabus and exercises for the class on HoTT I plan to teach at Candada/USA Mathcamp 2015