JasonGross/parsing-parses
A dependently typed parser that parses parse trees to prove itself sound and complete
Public GitHub Catalog
Discovered Sep 30, 2026
JasonGross / habitrpg
A habit tracker app which treats your goals like a Role Playing Game.
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.
#16866077GitHub System ID
JasonGrossOrganization / User
PublicVisibility
ActiveCatalog Status
More from JasonGross
JasonGross/repo-8.5
Public repository.
JasonGross/bedrock2-old
Public repository.
JasonGross/repo-coqs
The repository for Coq versions for developers.