- Score (Rank)
- 24,802,009 #1,651
- Has contributed to
-
Open-Source Project Rank Score OCaml 1 24,629,220 Coq 79 84,812 Jujutsu VCS 58 62,496 Merlin 35 22,341 PeerTube 455 3,437
If this is your profile, you can copy the following line into your Github README.MD to show your OSSRank stats as an embedded widget
[![](https://ossrank.com/widget/377933)](https://ossrank.com/c/377933-gabriel-scherer)