namin/redex-aam-tutorial
An Introduction to Redex with Abstracting Abstract Machines
Relational version of parsing with derivatives code
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
An Introduction to Redex with Abstracting Abstract Machines
purple: compiling a reflective language
Automatically exported from code.google.com/p/micado
debugging biological networks to reach coherence, completeness and consistency