- Score (Rank)
- 2,430,693 #22,793
- Has contributed to
-
Open-Source Project Rank Score Coq 13 1,901,106 GHC 49 520,950 Nixpkgs 9,248 3,776 tldr-pages 1,824 3,755 Stack 237 2,314
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/310953-arnaud-spiwack)