The GitHub Archive is a large source of interesting data on software development activity and the developers behind it all. Lots of people (including myself) have mined it to learn all sorts of things ...