Rank
476
107
Git Repositories
coqStarted
1999-08-16
9,374 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 | 124 commits #462 | 13 contributors #578 |
| Past 90 days | 421 commits #449 | 21 contributors #725 |
| Past 365 days | 1,722 commits #445 | 63 contributors #644 |
| Past 1095 days | 5,001 commits #527 | 130 contributors #823 |
| All time | 35,805 commits | 324 contributors |
Contributing Individuals
| Commits past X days | |||||
|---|---|---|---|---|---|
| 30 | 90 | 365 | 1095 | All | |
| 239 Kayla Ngan | 0 | 0 | 0 | 0 | 2 |
| 239 Martin Vassor | 0 | 0 | 0 | 0 | 2 |
| 239 Carl Patenaude-Poulin | 0 | 0 | 0 | 0 | 2 |
| 239 Bart Jacobs | 0 | 0 | 0 | 0 | 2 |
| 239 Michael D. Adams | 0 | 0 | 0 | 0 | 2 |
| 239 Takafumi Saikawa | 0 | 0 | 0 | 0 | 2 |
| 239 Clément Blaudeau | 0 | 0 | 0 | 0 | 2 |
| 239 CJ Bell | 0 | 0 | 0 | 0 | 2 |
| 239 Claude Stolze | 0 | 0 | 0 | 0 | 2 |
| 239 Gan Shen | 0 | 0 | 0 | 0 | 2 |
| 239 Georges Gonthier | 0 | 0 | 0 | 0 | 2 |
| 239 Florent Hivert | 0 | 0 | 0 | 0 | 2 |
| 239 Rin Arakaki | 0 | 0 | 0 | 0 | 2 |
| 239 Leonidas Lampropoulos | 0 | 0 | 0 | 0 | 2 |
| 239 Larry Darryl Lee Jr. | 0 | 0 | 0 | 0 | 2 |
| 239 Rudy Peterson | 0 | 0 | 0 | 0 | 2 |
| 257 Anders Kaseorg | 0 | 0 | 0 | 0 | 1 |
| 257 Jim Apple | 0 | 0 | 0 | 0 | 1 |
| 257 Fabian Ruch | 0 | 0 | 0 | 0 | 1 |
| 257 Benjamin Barenblat | 0 | 0 | 0 | 0 | 1 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)