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 #674 |
| Past 90 days | 471 commits #408 | 19 contributors #799 |
| Past 365 days | 1,734 commits #440 | 60 contributors #668 |
| 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 Aleksandar Nanevski | 0 | 0 | 1 | 1 | 1 |
| 141 Florent Hivert | 0 | 0 | 1 | 1 | 1 |
| 141 Andres Erbsen | 0 | 0 | 1 | 1 | 1 |
| 141 felixL-K | 0 | 0 | 1 | 1 | 1 |
| 141 nicolas tabareau | 0 | 0 | 1 | 1 | 1 |
| 141 MathisBD | 0 | 0 | 1 | 1 | 1 |
| 141 Thomas Lamiaux | 0 | 0 | 1 | 1 | 1 |
| 168 Nick Lewycky | 0 | 0 | 0 | 0 | 5 |
| 168 Arthur Azevedo de Amorim | 0 | 0 | 0 | 0 | 5 |
| 168 Judicaël Courant | 0 | 0 | 0 | 0 | 5 |
| 168 Attila Gáspár | 0 | 0 | 0 | 0 | 5 |
| 168 Quentin Carbonneaux | 0 | 0 | 0 | 0 | 5 |
| 173 Jacques-Henri Jourdan | 0 | 0 | 0 | 0 | 4 |
| 173 Valentin Robert | 0 | 0 | 0 | 1 | 2 |
| 173 Guillaume Claret | 0 | 0 | 0 | 0 | 4 |
| 173 Beta Ziliani | 0 | 0 | 0 | 0 | 4 |
| 173 Christian Doczkal | 0 | 0 | 0 | 0 | 4 |
| 173 Clément Renard | 0 | 0 | 0 | 0 | 4 |
| 173 Hendrik Tews | 0 | 0 | 0 | 0 | 4 |
| 173 Lars Rasmusson | 0 | 0 | 0 | 0 | 4 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)