Rank
458
126
Git Repositories
coqStarted
1999-08-16
9,377 days ago
Categories
Alternatives to
Wolfram Alpha Pro
GitHub Stars
4,936
#1,818
Weekly commits since inception
| 1999 | 2012 | 2025 |
Weekly contributors since inception
| 1999 | 2012 | 2025 |
Recent Project Activity
| Past 30 days | 114 commits #501 | 15 contributors #495 |
| Past 90 days | 411 commits #461 | 22 contributors #701 |
| Past 365 days | 1,717 commits #444 | 64 contributors #638 |
| Past 1095 days | 5,006 commits #525 | 131 contributors #819 |
| All time | 35,810 commits | 325 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 61 Laurent Théry | 0 | 0 | 0 | 1 | 46 |
| 62 Pierre Corbineau | 0 | 0 | 0 | 0 | 46 |
| 62 Amin Timany | 0 | 0 | 0 | 0 | 46 |
| 64 quarkcool | 0 | 0 | 0 | 15 | 15 |
| 65 Lysxia | 0 | 0 | 1 | 4 | 31 |
| 65 samuelgruetter | 0 | 0 | 0 | 9 | 24 |
| 67 Yishuai Li | 0 | 0 | 0 | 1 | 38 |
| 68 Paolo G. Giarrusso | 0 | 0 | 0 | 7 | 22 |
| 68 MathisBD | 2 | 2 | 3 | 3 | 3 |
| 70 Cyprien Mangin | 0 | 0 | 0 | 0 | 35 |
| 71 Stefan Haan | 0 | 0 | 0 | 11 | 12 |
| 71 Vincent Semeria | 0 | 0 | 0 | 0 | 34 |
| 73 Simon Boulier | 0 | 0 | 0 | 0 | 32 |
| 74 Vincent Siles | 0 | 0 | 0 | 0 | 31 |
| 74 Kenji Maillard | 1 | 1 | 1 | 1 | 17 |
| 76 Cyril Cohen | 0 | 1 | 1 | 2 | 19 |
| 76 Lucas Donati | 0 | 0 | 5 | 5 | 5 |
| 76 Wojciech Karpiel | 0 | 0 | 0 | 7 | 16 |
| 79 Claudio Sacerdoti Coen | 0 | 0 | 0 | 0 | 27 |
| 79 Anton Danilkin | 0 | 0 | 0 | 9 | 9 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)