plum-umd/adapton.racket
Racket-based implementation of Adapton
Public GitHub Catalog
Discovered Sep 29, 2026
plum-umd / marketing
Public repository discovered through GitHub real-time crawl.
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.
#16561954GitHub System ID
plum-umdOrganization / User
PublicVisibility
ActiveCatalog Status
More from plum-umd
plum-umd/java-sketch
a Java front-end for Sketch synthesis tool
plum-umd/facets-in-agda
Playing with embedding faceted semantics in Agda
plum-umd/adaptive-concretization
Adaptive Concretization for Parallel Program Synthesis