chubbymaggie/refinements-popl-16
Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.
Public GitHub Catalog
Discovered Oct 31, 2026
chubbymaggie / popl2016-papers
Links to publicly available preprints for the POPL'16 conference
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.
#45322518GitHub System ID
chubbymaggieOrganization / User
PublicVisibility
ActiveCatalog Status
More from chubbymaggie
chubbymaggie/AndroBugs_Framework
AndroBugs Framework is an efficient Android vulnerability scanner that helps developers or hackers find potential security vulnerabilities in Android applications. No need to install on Windows.
chubbymaggie/malware-3
Various Malware-Related Utilities
chubbymaggie/idataco
IDATACO IDA Pro Plugin