@beardalaxy @einziggurat @ArdanianRight IIRC, the Super Mario 64 decomp was done by creating a disassembly and writing equivalent C code by hand. Naturally, there will be differences from the decomp and Nintendo's official source code.
@einziggurat @ArdanianRight @beardalaxy It got taken down because at first, they were distributing pre-compiled binaries. Plus, the original decomp for the N64 version is still up on GitHub.