Technology moves fast! ⚡ Don't get left behind.🚶 Subscribe to our mailing list to keep up with latest and greatest in open source projects! 🏆


Subscribe to our mailing list

redex-aam-tutorial

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 over 1 year ago
Repo Created about 5 years ago
Repo Last Updated over 1 year ago
Size 1.16 MB
Homepage https://dvanhorn....
Organization / Authordvanhorn
Contributors3
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: https://dvanhorn.github.io/redex-aam-tutorial
  • PDF: https://dvanhorn.github.io/redex-aam-tutorial/tutorial.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)
  • about 3 years `redex-aam-tutorial` package is not published
  • about 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