- Score (Rank)
- 30,965 #283,134
- Has contributed to
-
Open-Source Project Rank Score Homebrew 5,702 18,855 Coq 182 10,032 Highlight.js 404 2,078
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/c/306274-stephan-boyer)