Hard to say, but i don't think so.
This is basical just the source tarball from the Nand2Tetris homepage, with only some minor additionally commits, all done by David Lu (
GitHub/
Homepage). But since the source code is under the GPLv2 (or later), everyone is allowed to upload a fork to github. Just the use of the project name (nand2tetris) as username is a bit misleading.