Rank
513
98
Git Repositories
coqStarted
1999-08-16
9,365 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 | 115 commits #490 | 11 contributors #680 |
| Past 90 days | 475 commits #408 | 20 contributors #775 |
| Past 365 days | 1,734 commits #442 | 60 contributors #666 |
| Past 1095 days | 4,993 commits #533 | 127 contributors #849 |
| All time | 35,774 commits | 321 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 118 Jean-Francois Monin | 0 | 0 | 0 | 0 | 9 |
| 118 Carst Tankink | 0 | 0 | 0 | 0 | 9 |
| 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 |
| 118 Romain Tetley | 0 | 0 | 0 | 3 | 3 |
| 127 Abhishek Anand | 0 | 0 | 0 | 0 | 8 |
| 127 William Lawvere | 0 | 0 | 0 | 0 | 8 |
| 127 Talia Ringer | 0 | 0 | 0 | 0 | 8 |
| 127 Martin Bodin | 0 | 0 | 0 | 0 | 8 |
| 127 Isaac van Bakel | 0 | 0 | 0 | 2 | 4 |
| 127 Oliver Nash | 0 | 0 | 0 | 0 | 8 |
| 133 Pierre Jouvelot | 0 | 0 | 0 | 2 | 3 |
| 133 Ambroise Lafont | 0 | 0 | 0 | 0 | 7 |
| 133 Andreas Lynge | 0 | 0 | 0 | 0 | 7 |
| 133 Xavier Leroy | 0 | 0 | 0 | 0 | 7 |
| 133 Sébastien Hinderer | 0 | 0 | 0 | 0 | 7 |
| 133 Guillaume Munch-Maccagnoni | 0 | 0 | 0 | 1 | 5 |
| 133 Bernhard Schommer | 0 | 0 | 0 | 2 | 3 |
| 133 Rudi Grinberg | 0 | 0 | 0 | 0 | 7 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)