Saizan/syb-with-class
Fork of http://patch-tag.com/r/Saizan/syb-with-class
Public GitHub Catalog
Discovered Sep 25, 2026
Saizan / miller
Miller/pattern unification in Agda
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.
#4609227GitHub System ID
SaizanOrganization / User
PublicVisibility
ActiveCatalog Status
More from Saizan
Saizan/cubical
Implementation of Univalence in Cubical Sets
Saizan/Pivotal
Public repository.
Saizan/ITT9200
ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann