Contributor

Gabriel Scherer

Score (Rank)
25,132,581 #1,633
Has contributed to
Open-Source Project Rank Score
OCaml 1 24,957,450
Coq 78 85,878
Jujutsu VCS 55 62,082
Merlin 36 23,837
PeerTube 454 3,334

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)