Rank
579
3
Git Repositories
coqStarted
1999-08-16
9,363 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 #561 | 9 contributors #829 |
| Past 90 days | 460 commits #415 | 18 contributors #843 |
| Past 365 days | 1,737 commits #440 | 58 contributors #689 |
| Past 1095 days | 4,981 commits #534 | 125 contributors #864 |
| All time | 35,756 commits | 320 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 61 Pierre Corbineau | 0 | 0 | 0 | 0 | 46 |
| 61 Amin Timany | 0 | 0 | 0 | 0 | 46 |
| 63 quarkcool | 0 | 0 | 0 | 15 | 15 |
| 64 samuelgruetter | 0 | 0 | 0 | 9 | 24 |
| 64 Lysxia | 0 | 0 | 1 | 4 | 31 |
| 66 Yishuai Li | 0 | 0 | 0 | 1 | 38 |
| 66 Paolo G. Giarrusso | 0 | 0 | 0 | 9 | 22 |
| 68 Cyprien Mangin | 0 | 0 | 0 | 0 | 35 |
| 69 Stefan Haan | 0 | 0 | 0 | 11 | 12 |
| 69 Vincent Semeria | 0 | 0 | 0 | 0 | 34 |
| 71 Simon Boulier | 0 | 0 | 0 | 0 | 32 |
| 72 Vincent Siles | 0 | 0 | 0 | 0 | 31 |
| 73 Lucas Donati | 0 | 0 | 5 | 5 | 5 |
| 73 Wojciech Karpiel | 0 | 0 | 0 | 7 | 16 |
| 73 Cyril Cohen | 0 | 1 | 1 | 2 | 19 |
| 76 Daneel Yaitskov | 0 | 1 | 4 | 4 | 4 |
| 77 Anton Danilkin | 0 | 0 | 0 | 9 | 9 |
| 77 Claudio Sacerdoti Coen | 0 | 0 | 0 | 0 | 27 |
| 79 Ramkumar Ramachandra | 0 | 0 | 1 | 3 | 17 |
| 80 charguer | 0 | 0 | 0 | 0 | 25 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)