- Score (Rank)
- 25,045,492 #1,637
- Has contributed to
-
Open-Source Project Rank Score OCaml 1 24,902,722 Coq 87 72,864 Jujutsu VCS 74 42,276 Merlin 33 24,035 PeerTube 467 3,595
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/c/377933-gabriel-scherer)