stardev ranks every GitHub user and repository by language and location
135m
developers
197m
repos
565
languages
225
countries
Fun fact