This is a simulation tool of a GoI-style abstract machine implementing call-by-value lambda calculus.
Literature:
Implemented by Steven Cheung, using graph-viz-d3-js for generating diagrams and lo-js for parsing.