Paper: Ghica, Dan R., Koko Muroya, and Todd Waugh Ambridge. "A robust graph-based approach to observational equivalence." Logical Methods in Computer Science 21 (2025). [LINK]
Blog posts: How to make a programming language out of an algebra, Part 1 and Part 2

This is a visualisation/simulation tool of the GoI-style programming language framework Sᴘᴀʀᴛᴀɴ, by Dan R. Ghica, Koko Muroya and Todd Waugh Ambridge. Visualiser implemented by Todd Waugh Ambridge (based on previous work by Steven Cheung, using graph-viz-d3-js for generating diagrams and lo-js for parsing).