Rank
522
90
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 #484 | 11 contributors #680 |
| Past 90 days | 471 commits #408 | 19 contributors #797 |
| Past 365 days | 1,734 commits #440 | 60 contributors #671 |
| 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 | |
| 182 Aleks L | 0 | 0 | 0 | 1 | 1 |
| 182 Stefan Radziuk | 0 | 0 | 0 | 1 | 1 |
| 182 Thomas Klausner | 0 | 0 | 0 | 1 | 1 |
| 182 yoshihiro503 | 0 | 0 | 0 | 1 | 1 |
| 182 Alban Gruin | 0 | 0 | 0 | 1 | 1 |
| 182 igler | 0 | 0 | 0 | 1 | 1 |
| 182 Cezary Kaliszyk | 0 | 0 | 0 | 0 | 3 |
| 182 Ethan A. Kuefner | 0 | 0 | 0 | 0 | 3 |
| 182 formalize.eth | 0 | 0 | 0 | 0 | 3 |
| 182 František Farka | 0 | 0 | 0 | 1 | 1 |
| 182 Théo Winterhalter | 0 | 0 | 0 | 0 | 3 |
| 182 Jacques-Pascal Deplaix | 0 | 0 | 0 | 0 | 3 |
| 182 Kaptch | 0 | 0 | 0 | 1 | 1 |
| 182 Lionel Rieg | 0 | 0 | 0 | 0 | 3 |
| 182 Pierre-Yves Strub | 0 | 0 | 0 | 0 | 3 |
| 182 Seth Poulsen | 0 | 0 | 0 | 0 | 3 |
| 182 Robert Rand | 0 | 0 | 0 | 0 | 3 |
| 182 slrnsc | 0 | 0 | 0 | 0 | 3 |
| 182 Thomas Letan | 0 | 0 | 0 | 0 | 3 |
| 182 Ralf Treinen | 0 | 0 | 0 | 0 | 3 |
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)