This is a simulation tool of a GoI-style abstract machine implementing the TSD calculus.
Implemented using graph-viz-d3-js for generating diagrams and lo-js for parsing.