Category

Math

Rank Project Open Core Companies Score Commits Contributors Started
249
58
884
22
57,902 1,317 2000
511
96
Coq
796
34
34,747 306 1999
1505
34
507
14
5,017 238 2013
2311
22
291
1
1,498 171 2013
2600
79
221
20
666 24 2020
Loading...
Proprietary Products in this Category (Not Open Source) Company