Built something? We create video reels & spotlights for GitHub projects.Promote your project →
>GitHubRepo
Promote your project
Catalog / chubbymaggie / refinements-popl-16
Public GitHub Catalog Discovered Nov 1, 2026

chubbymaggie / refinements-popl-16

Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.

View repository on GitHub ↗ View creator profile Browse directory

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.

#46699320GitHub System ID
chubbymaggieOrganization / User
PublicVisibility
ActiveCatalog Status

More from chubbymaggie

↗

chubbymaggie/llilc

This repo contains LLILC, an LLVM based compiler for .NET Core. It includes a set of cross-platform .NET code generation tools that enables compilation of MSIL byte code to LLVM supported platforms.

Discovered
↗

chubbymaggie/IDAtropy

IDAtropy is a plugin for Hex-Ray's IDA Pro designed to generate charts of entropy and histograms using the power of idapython and matplotlib.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.

Promote your project
SPONSORED Sponsored Partner