- Score (Rank)
- 24,817,996 #1,701
- Has contributed to
-
Open-Source Project Rank Score OCaml 1 24,684,990 Coq 90 64,120 Jujutsu VCS 85 43,176 Merlin 31 22,154 PeerTube 482 3,556
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)