sergei-romanenko/unmix
A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser. Imported from Google Code.
Public GitHub Catalog
Discovered Oct 2, 2026
sergei-romanenko / agda-almost-full
Almost-full relations: an Agda version for "Stop when you are almost-full"
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.
#24220988GitHub System ID
sergei-romanenkoOrganization / User
PublicVisibility
ActiveCatalog Status
More from sergei-romanenko
sergei-romanenko/cilpe
Automatically exported from code.google.com/p/cilpe
sergei-romanenko/agda-normalization
Normalization by evaluation and big-step normalization formalized in Agda
sergei-romanenko/agda-Higman-lemma
Constructive proofs of Higman’s lemma formalized in Agda