Category

Math

Rank Project Open Core Companies Score Commits Contributors Started
309
13
862
7
58,421 1,339 2000
540
52
Coq
786
16
35,506 316 1999
1559
35
489
12
5,128 245 2013
1779
2
427
2
1,522 175 2013
3116
8
103
666 24 2020
Loading...
Proprietary Products in this Category (Not Open Source) Company