Contributor

Gabriel Scherer

Overview

Global Rank

#1,501 26,739,711 points

Project Contributions

Project Rank Score
OCaml #1 26,717,724
Coq #99 68,640
Jujutsu VCS #86 42,768
Merlin #32 21,384
PeerTube #490 3,595

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/377933)](https://ossrank.com/c/377933-gabriel-scherer)