Category

Math

Rank Project Open Core Companies Score Commits Contributors Started
173
1
915
54,833 1,229 2000
669
Coq
752
1
32,820 268 1999
1414
270
548
66
4,769 220 2013
2722
308
220
66
621 18 2020
2828
399
195
94
1,473 162 2013
Loading...
Proprietary Products in this Category (Not Open Source) Company