Most of these companies projects on Github are projects of their employees, not official projects :)