[ghaff]

RedMonk has said they use the Stack Overflow Data Explorer tool but I don't know (though perhaps they've written about in the past) the exact queries they use.