Rank
523
61
Git Repositories
coqStarted
1999-08-16
9,364 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 | 106 commits #536 | 11 contributors #685 |
| Past 90 days | 469 commits #415 | 20 contributors #780 |
| Past 365 days | 1,729 commits #443 | 60 contributors #666 |
| Past 1095 days | 4,987 commits #534 | 127 contributors #849 |
| All time | 35,765 commits | 321 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 100 Rodolphe Lepigre | 1 | 1 | 1 | 1 | 1 |
| 100 Radosław Rowicki | 1 | 1 | 1 | 1 | 1 |
| 100 remzi | 0 | 0 | 0 | 5 | 5 |
| 100 Pim Otte | 1 | 1 | 1 | 1 | 1 |
| 105 mrmr1993 | 0 | 0 | 0 | 0 | 14 |
| 106 Jean Abou Samra | 0 | 0 | 2 | 2 | 2 |
| 106 whitequark | 0 | 0 | 0 | 0 | 12 |
| 106 Siegmentation Fault | 0 | 0 | 2 | 2 | 2 |
| 106 drenched-moth | 0 | 0 | 2 | 2 | 2 |
| 106 chluebi | 0 | 0 | 2 | 2 | 2 |
| 106 Anton Nikishaev | 0 | 0 | 0 | 0 | 12 |
| 112 Yannick Forster | 0 | 0 | 0 | 3 | 5 |
| 112 Chantal Keller | 0 | 0 | 0 | 3 | 5 |
| 112 Reynald Affeldt | 0 | 0 | 0 | 2 | 7 |
| 112 whonore | 0 | 0 | 0 | 2 | 7 |
| 116 Columbus240 | 0 | 0 | 0 | 0 | 10 |
| 116 Raphaël Monat | 0 | 0 | 0 | 0 | 10 |
| 118 Armaël Guéneau | 0 | 0 | 0 | 0 | 9 |
| 118 Marc Lasson | 0 | 0 | 0 | 0 | 9 |
| 118 Joachim Breitner | 0 | 0 | 0 | 0 | 9 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)