Rank
556
100
Git Repositories
coqStarted
1999-08-16
9,322 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 | 135 commits #425 | 9 contributors #842 |
| Past 90 days | 399 commits #426 | 17 contributors #849 |
| Past 365 days | 1,774 commits #439 | 60 contributors #672 |
| Past 1095 days | 4,962 commits #537 | 123 contributors #875 |
| All time | 35,550 commits | 316 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 1 Gaëtan Gilbert | 88 | 235 | 724 | 1,741 | 3,649 |
| 2 Pierre-Marie Pédrot | 32 | 66 | 283 | 1,010 | 5,834 |
| 3 Hugo Herbelin | 0 | 0 | 230 | 540 | 6,059 |
| 4 Maxime Dénès | 0 | 0 | 0 | 41 | 2,434 |
| 5 Emilio Jesús Gallego Arias | 0 | 1 | 30 | 122 | 1,980 |
| 6 Matthieu Sozeau | 5 | 6 | 11 | 31 | 1,903 |
| 7 Pierre Roux | 3 | 43 | 205 | 357 | 529 |
| 8 Théo Zimmermann | 2 | 16 | 23 | 113 | 1,597 |
| 9 Enrico Tassi | 1 | 5 | 28 | 85 | 1,539 |
| 10 Pierre Letouzey | 0 | 0 | 0 | 0 | 1,666 |
| 11 Jason Gross | 2 | 3 | 9 | 66 | 543 |
| 12 Guillaume Melquiond | 0 | 0 | 11 | 31 | 559 |
| 13 Arnaud Spiwack | 0 | 0 | 0 | 0 | 558 |
| 14 Jim Fehrle | 0 | 0 | 16 | 67 | 295 |
| 15 Pierre Boutillier | 0 | 0 | 0 | 0 | 438 |
| 16 Jean-Christophe Filliâtre | 0 | 0 | 0 | 0 | 405 |
| 17 Ali Caglayan | 0 | 0 | 0 | 97 | 167 |
| 18 Jean-Marc Notin | 0 | 0 | 0 | 0 | 352 |
| 19 Vincent Laporte | 0 | 0 | 0 | 0 | 331 |
| 20 Matej Košík | 0 | 0 | 0 | 0 | 290 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)