GitHub - deeglaze/Abstract-Redex: An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.

deeglaze / Abstract-Redex Public

An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.gitignore		.gitignore
core-match.rkt		core-match.rkt
env-to-recursive.rkt		env-to-recursive.rkt
macros.rkt		macros.rkt
match-machine-data.rkt		match-machine-data.rkt
match-machine-star-data.rkt		match-machine-star-data.rkt
match-machine-star-tests.rkt		match-machine-star-tests.rkt
match-machine-star.rkt		match-machine-star.rkt
match-machine-tests.rkt		match-machine-tests.rkt
match-machine.rkt		match-machine.rkt