It looks like the source files are here:
Is there any compelling reason these couldn’t be put on GitHub? I’ve seen people suggesting that “if only TADS was open sourced” maybe something more could be done with it. But it looks like it is open source unless I’m misunderstanding what I’m seeing. Maybe seeking Mike’s permission is needed but the source is available so it seems odd not to at least make it more visible to people.