- Score (Rank)
- 25,815,627 #1,573
- Has contributed to
-
Open-Source Project Rank Score OCaml 1 25,673,186 Coq 87 72,358 Jujutsu VCS 83 43,068 Merlin 32 23,463 PeerTube 471 3,552
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)