Category

Math

Rank Project Open Core Companies Score Commits Contributors Started
271
14
878
6
58,119 1,328 2000
574
83
Coq
775
26
34,980 308 1999
1311
296
560
79
5,070 241 2013
2634
58
210
15
1,498 171 2013
2891
278
152
61
666 24 2020
Loading...
Proprietary Products in this Category (Not Open Source) Company