Bernhard Schommer

Score (Rank): 181,355 #111,159
Github Profile Stats
Links: github.com/bschommer
Has contributed to: Open-Source Project Rank Score

OCaml 89 148,302

Coq 132 22,757

Spacemacs 462 6,274

Merlin 73 3,732

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/377769)](https://ossrank.com/c/377769-bernhard-schommer)