Category

Math

Rank Project Open Core Companies Score Commits Contributors Started
269
21
877
9
56,350 1,273 2000
551
44
Coq
784
19
33,837 290 1999
1694
317
466
93
4,891 230 2013
2298
153
305
33
1,483 164 2013
2418
603
279
143
652 21 2020
Loading...
Proprietary Products in this Category (Not Open Source) Company