namin/purple
purple: compiling a reflective language
Public GitHub Catalog
Discovered Nov 3, 2026
namin / redex-aam-tutorial
An Introduction to Redex with Abstracting Abstract Machines
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.
#51957663GitHub System ID
naminOrganization / User
PublicVisibility
ActiveCatalog Status
More from namin
namin/micado
Automatically exported from code.google.com/p/micado
namin/biohacker
debugging biological networks to reach coherence, completeness and consistency
namin/lms-verify
generative programming & verification