Category

Math

Rank Project Open Core Companies Score Commits Contributors Started
303
40
866
13
58,037 1,320 2000
526
29
Coq
785
16
34,931 306 1999
1676
157
461
47
5,026 239 2013
2565
220
226
59
1,498 171 2013
2820
210
165
51
666 24 2020
Loading...
Proprietary Products in this Category (Not Open Source) Company