- 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)