A sandbox for computability and complexity theory: machines, tapes, reductions and devices on one grid.
Script machines run the JavaScript written in them, so only import world files from people you trust.
Reduction examples via limited transducers.
Buttons and screens interacting with tapes.
PCP verifiers with random coins, proof queries, and resource budgets.AI was used extensively.
This is a very personal project to me. I have written my thoughts here: https://asrncan.substack.com/p/on-programming-and-computer-science