Also Super Mario 64 (mentioned in the article, but here's a direct link) - https://github.com/n64decomp/sm64