stardev ranks every GitHub user and repository by language and location
111m
developers
165m
repos
537
languages
224
countries
Fun fact