Contributor

Arnaud Spiwack

Score (Rank): 2,322,084 #23,142
Has contributed to: Open-Source Project Rank Score

Coq 13 1,843,074

GHC 58 473,288

Nixpkgs 8,364 3,739

Stack 239 1,983

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/310953)](https://ossrank.com/c/310953-arnaud-spiwack)