ravichugh/refref
Refinement Types for References
Public GitHub Catalog
Discovered Oct 1, 2026
ravichugh / late-types
Late Typing
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.
#20030942GitHub System ID
ravichughOrganization / User
PublicVisibility
ActiveCatalog Status
More from ravichugh
ravichugh/repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
ravichugh/ucsddissertation
LaTeX class file for writing dissertations at UC San Diego
ravichugh/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification