https://words.filippo.io/dispatches/whoami-updated/ found a way to enumerate all github users. Shouldn't be too hard to enumerate all repos from there, count stars, and check the pareto distribution assumption?