arroy (racket): A little library for modeling labeled transition systems with a collaborative Web stepper.
Keywords: app|games|web