Are you happy with your logging solution? Would you help us out by taking a 30-second survey? Click here


An Introduction to Redex with Abstracting Abstract Machines

Subscribe to updates I use redex-aam-tutorial

Statistics on redex-aam-tutorial

Number of watchers on Github 68
Number of open issues 1
Average time to close an issue 4 months
Main language Racket
Average time to merge a PR about 9 hours
Open pull requests 1+
Closed pull requests 0+
Last commit almost 2 years ago
Repo Created over 5 years ago
Repo Last Updated over 1 year ago
Size 1.16 MB
Homepage https://dvanhorn....
Organization / Authordvanhorn
Page Updated
Do you use redex-aam-tutorial? Leave a review!
View redex-aam-tutorial activity
View on github
Fresh, new opensource launches 🚀🚀🚀
Trendy new open source projects in your inbox! View examples

Subscribe to our mailing list

Evaluating redex-aam-tutorial for your project? Score Explanation
Commits Score (?)
Issues & PR Score (?)

Build Status

This tutorial is available online at:

  • HTML:
  • PDF:

Copyright 2014 David Van Horn

Licensed under the Academic Free License version 3.0

redex-aam-tutorial open issues Ask a question     (View All Issues)
  • over 3 years `redex-aam-tutorial` package is not published
  • over 3 years Section 3.1 gives confusing prose on define-metafunction vs define-relation
redex-aam-tutorial open pull requests (View All Pulls)
  • Fix prose on `lookup`
redex-aam-tutorial list of languages used
Other projects in Racket