sergei-romanenko/sc-mini
SC Mini is a "minimal" positive supercompiler
Public GitHub Catalog
Discovered Sep 26, 2026
sergei-romanenko / agda-simple-scp
A simple supercompiler formally verified 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.
#7077562GitHub System ID
sergei-romanenkoOrganization / User
PublicVisibility
ActiveCatalog Status
More from sergei-romanenko
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.
sergei-romanenko/cilpe
Automatically exported from code.google.com/p/cilpe