Contributor

Gabriel Scherer

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)