stardev ranks every GitHub user and repository by language and location
141m
developers
206m
repos
572
languages
225
countries
Fun fact