Rank
579
3
Git Repositories
coqStarted
1999-08-16
9,364 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 | 102 commits #562 | 9 contributors #831 |
| Past 90 days | 460 commits #416 | 18 contributors #843 |
| Past 365 days | 1,737 commits #440 | 58 contributors #689 |
| Past 1095 days | 4,981 commits #534 | 125 contributors #863 |
| All time | 35,765 commits | 321 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 81 Benjamin Grégoire | 0 | 0 | 0 | 0 | 25 |
| 81 charguer | 0 | 0 | 0 | 0 | 25 |
| 83 Anton Trunov | 0 | 0 | 0 | 0 | 24 |
| 83 Rodolphe Lepigre | 0 | 0 | 4 | 4 | 4 |
| 83 Davide Fissore | 0 | 0 | 4 | 4 | 4 |
| 83 Mario Frank | 0 | 0 | 0 | 8 | 8 |
| 83 tomaz1502 | 0 | 0 | 4 | 4 | 4 |
| 83 Arya-Elfren | 0 | 0 | 4 | 4 | 4 |
| 89 Zeimer | 0 | 0 | 0 | 0 | 22 |
| 89 Florent Kirchner | 0 | 0 | 0 | 0 | 22 |
| 91 Loïc Pottier | 0 | 0 | 0 | 0 | 20 |
| 91 anonymous | 0 | 0 | 0 | 0 | 20 |
| 91 Gabriel Scherer | 0 | 0 | 1 | 1 | 15 |
| 94 Nickolai Zeldovich | 0 | 0 | 0 | 0 | 19 |
| 94 Russell O'Connor | 0 | 0 | 0 | 0 | 19 |
| 96 Claude Marché | 0 | 0 | 0 | 0 | 18 |
| 96 Gregory Malecha | 0 | 0 | 0 | 0 | 18 |
| 96 Ana Borges | 0 | 0 | 0 | 4 | 10 |
| 99 CharlesCNorton | 0 | 1 | 2 | 2 | 2 |
| 100 Assia Mahboubi | 0 | 0 | 0 | 0 | 15 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)