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 #486 | 11 contributors #681 |
| Past 90 days | 471 commits #408 | 19 contributors #797 |
| Past 365 days | 1,734 commits #440 | 60 contributors #669 |
| Past 1095 days | 4,988 commits #530 | 127 contributors #849 |
| All time | 35,775 commits | 321 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 173 Tom Hutchinson | 0 | 0 | 0 | 0 | 4 |
| 182 Jerry James | 0 | 0 | 0 | 1 | 1 |
| 182 Dmitry Shachnev | 0 | 0 | 0 | 1 | 1 |
| 182 Edward Wang | 0 | 0 | 0 | 0 | 3 |
| 182 Karolina Surma | 0 | 0 | 0 | 1 | 1 |
| 182 Matěj Grabovský | 0 | 0 | 0 | 0 | 3 |
| 182 Naveen | 0 | 0 | 0 | 1 | 1 |
| 182 Vadim Zaliva | 0 | 0 | 0 | 0 | 3 |
| 182 siddharthist | 0 | 0 | 0 | 0 | 3 |
| 182 sou7 | 0 | 0 | 0 | 1 | 1 |
| 182 Daniel R. Grayson | 0 | 0 | 0 | 0 | 3 |
| 182 Stephan Boyer | 0 | 0 | 0 | 1 | 1 |
| 182 Lasse Blaauwbroek | 0 | 0 | 0 | 1 | 1 |
| 182 Nikolaos Chatzikonstantinou | 0 | 0 | 0 | 1 | 1 |
| 182 Daniel de Rauglaudre | 0 | 0 | 0 | 0 | 3 |
| 182 Sudha Parimala | 0 | 0 | 0 | 1 | 1 |
| 182 Timothy Bourke | 0 | 0 | 0 | 0 | 3 |
| 182 Virgile Prevosto | 0 | 0 | 0 | 0 | 3 |
| 182 Weng Shiwei | 0 | 0 | 0 | 1 | 1 |
| 182 Andreas Florath | 0 | 0 | 0 | 1 | 1 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)