That's where I got the idea from. I was really excited to see what the most popular projects on github were, but this is just the tip of the iceberg b/c they refuse to show the complete leaderboard breakdown.