Rank
521
91
Git Repositories
coqStarted
1999-08-16
9,366 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 | 116 commits #485 | 11 contributors #673 |
| Past 90 days | 471 commits #409 | 19 contributors #801 |
| Past 365 days | 1,734 commits #440 | 60 contributors #667 |
| Past 1095 days | 4,988 commits #532 | 127 contributors #849 |
| All time | 35,775 commits | 321 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 141 Andres Erbsen | 0 | 0 | 1 | 1 | 1 |
| 141 Lennart Jablonka | 0 | 0 | 1 | 1 | 1 |
| 141 Pierre Rousselin | 0 | 0 | 1 | 1 | 1 |
| 141 Björn Brandenburg | 0 | 0 | 0 | 2 | 2 |
| 141 Thomas Sibut-Pinote | 0 | 0 | 0 | 0 | 6 |
| 141 Robbert Krebbers | 0 | 0 | 0 | 1 | 4 |
| 141 Johannes Kloos | 0 | 0 | 0 | 0 | 6 |
| 141 Guillaume Bertholon | 0 | 0 | 0 | 0 | 6 |
| 141 Fabian Kunze | 0 | 0 | 0 | 0 | 6 |
| 141 Olivier Desmettre | 0 | 0 | 0 | 0 | 6 |
| 141 Alec Faithfull | 0 | 0 | 0 | 0 | 6 |
| 141 mseri | 0 | 0 | 1 | 1 | 1 |
| 141 Siddharth Bhat | 0 | 0 | 0 | 0 | 6 |
| 141 Julien Puydt | 0 | 0 | 0 | 2 | 2 |
| 141 David Allsopp | 0 | 0 | 1 | 1 | 1 |
| 141 Tan Yee Jian | 0 | 0 | 1 | 1 | 1 |
| 141 Julin S | 0 | 0 | 0 | 2 | 2 |
| 141 Benny Smit | 0 | 0 | 1 | 1 | 1 |
| 141 Fourchaux | 0 | 0 | 0 | 0 | 6 |
| 141 Alexey Trilis | 0 | 0 | 1 | 1 | 1 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)