The repository is part of https://github.com/historicalsource, which has code for a bunch of Infocom games, although at a quick glance most of them aren't open sourced. Still, very cool resource.