These files were originally put on GitHub in the VirtualAGC repository [1] in 2015. The code was publicly released and digitized into these source files in 2009, through cooperation with the MIT Museum.

[1] https://github.com/virtualagc/virtualagc

Here is a HN post from 2016, although maybe more got added recently?

https://news.ycombinator.com/item?id=12048945

I have the same question, and in addition I'm confused why this repository seems to have been created by some random GitHub user.