[JadeNB]

Cameron Freer started something like this, but I think it stagnated: http://vdash.org . Tom Hales put a lot of his formal proof work on Google Code: https://code.google.com/p/flyspeck . I don't know if he has any plans to migrate to GitHub, though.