plum-umd/cgc
Constructive Galois connections
Public GitHub Catalog
Discovered Oct 14, 2026
plum-umd / adapton
Adapton Project Homepage
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.
#37877193GitHub System ID
plum-umdOrganization / User
PublicVisibility
ActiveCatalog Status
More from plum-umd
plum-umd/adapton.racket
Racket-based implementation of Adapton
plum-umd/java-sketch
a Java front-end for Sketch synthesis tool
plum-umd/facets-in-agda
Playing with embedding faceted semantics in Agda