This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Ilya Sergey
ilyasergey.bsky.social
did:plc:hhj5w573hz3txjb3uyllfw5e
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net