- Score (Rank)
- 2,301,328 #23,706
- Has contributed to
-
Open-Source Project Rank Score Coq 13 1,787,832 GHC 50 522,309 Nixpkgs 9,175 3,775 tldr-pages 1,817 3,759 Stack 238 2,067
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)