This is an experimental G machine implementation.
A lot of the source is taken from 'Implementing functional languages: a tutorial', 1992 by Simon Peyton Jones. There are also references in the source to parts of the book.
https://www.microsoft.com/en-us/research/publication/implementing-functional-languages-a-tutorial/