Contributor

Gabriel Scherer

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/widget/377933)](https://ossrank.com/c/377933-gabriel-scherer)