jonsterling/ocaml-modular-typechecking
Modular type checking using open types
Public GitHub Catalog
Discovered Oct 2, 2026
jonsterling / homotopy
Public repository discovered through GitHub real-time crawl.
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.
#23025389GitHub System ID
jonsterlingOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonsterling
jonsterling/twelf-cmcp
ITT 1979 in Twelf (à la Constructive Mathematics and Computer Programming)
jonsterling/hs-abt-lens
Extra lens-based utilities for abstract binding trees (prisms)
jonsterling/twelf-nbe
normalization by evaluation for MLTT in twelf