Rank
470
114
Git Repositories
coqStarted
1999-08-16
9,373 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 | 120 commits #453 | 13 contributors #565 |
| Past 90 days | 423 commits #452 | 21 contributors #729 |
| Past 365 days | 1,721 commits #443 | 63 contributors #644 |
| Past 1095 days | 4,996 commits #528 | 130 contributors #822 |
| All time | 35,800 commits | 324 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 184 slrnsc | 0 | 0 | 0 | 0 | 3 |
| 184 Thomas Letan | 0 | 0 | 0 | 0 | 3 |
| 184 Ralf Treinen | 0 | 0 | 0 | 0 | 3 |
| 184 Meven Lennon-Bertrand | 0 | 0 | 0 | 1 | 1 |
| 184 Evgeniy | 0 | 0 | 0 | 1 | 1 |
| 184 Kate | 0 | 0 | 0 | 1 | 1 |
| 184 Matthieu Baty | 0 | 0 | 0 | 1 | 1 |
| 184 Jim Portegies | 0 | 0 | 0 | 1 | 1 |
| 184 David Swasey | 0 | 0 | 0 | 1 | 1 |
| 184 Michael Soegtrop | 0 | 0 | 0 | 1 | 1 |
| 184 Khalid Abdullah | 0 | 0 | 0 | 1 | 1 |
| 184 Shengyi Wang | 0 | 0 | 0 | 1 | 1 |
| 184 David M. Cooke | 0 | 0 | 0 | 1 | 1 |
| 184 Timur Aminev | 0 | 0 | 0 | 1 | 1 |
| 184 qvermande | 0 | 0 | 0 | 1 | 1 |
| 184 lduboisd | 0 | 0 | 0 | 1 | 1 |
| 184 Julien Puydt | 0 | 0 | 0 | 1 | 1 |
| 184 Remyjck | 0 | 0 | 0 | 1 | 1 |
| 239 Frank Steffahn | 0 | 0 | 0 | 0 | 2 |
| 239 Kartik Singhal | 0 | 0 | 0 | 0 | 2 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)