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 5, 2026
sergei-romanenko / agda-normalization
Normalization by evaluation and big-step normalization formalized in Agda
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.
#30079039GitHub 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-Higman-lemma
Constructive proofs of Higman’s lemma formalized in Agda
sergei-romanenko/agda-almost-full
Almost-full relations: an Agda version for "Stop when you are almost-full"