Category

Math

Rank Project Open Core Companies Score Commits Contributors Started
400
134
835
45
58,218 1,331 2000
480
9
Coq
804
3
35,210 314 1999
1209
64
591
18
5,112 245 2013
1769
879
433
227
1,513 173 2013
2913
144
4
666 24 2020
Loading...
Proprietary Products in this Category (Not Open Source) Company