coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey
Date: Wed, 20 Jan 2016 09:37:30 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga02.intel.com
Ironport-phdr: 9a23:rNmR7xzRhq49ARTXCy+O+j09IxM/srCxBDY+r6Qd0e0TIJqq85mqBkHD//Il1AaPBtWFrasc06GP6PiocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0YLuj7j5osaLKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvCwdKMhCLdcET4OMmYv5cStuwOJBV+E4WJZWWELmDJJBRLE5Vf0RMGinDH9s7834y6XMtHsSqhwERGj5KdiRRuiwHMCNjU5+WzTzNd3ga1HuhW5jx1534PQJoqSMawtLevmYdoGSD8ZDY5qXCtbD9bkYg==

Dear Coq Team and Users,

I recently stumbled over this popularity ranking of computer languages, based on GitHub and stack overflow statistics:

http://redmonk.com/sogrady/2015/01/14/language-rankings-1-15/

Coq is not mentioned in the text, but in the graph it appears around rank 70..75 (the axis labeling is reversed when speaking of rankings). I think this is a very remarkable achievement!

Best regards,

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Soegtrop, Michael, 01/20/2016
- Re: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, John Wiegley, 01/20/2016
  - RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Soegtrop, Michael, 01/22/2016
    - RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Talia Ringer, 01/22/2016