Bernhard Schommer

Score (Rank): 196,793 #104,291
Github Profile Stats
Links: github.com/bschommer
Has contributed to: Open-Source Project Rank Score

OCaml 84 144,774

Coq 106 42,237

Spacemacs 460 5,736

Merlin 74 4,046

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)