Contributor

Arnaud Spiwack

Overview

Global Rank

#23,587 2,324,080 points

Project Contributions

Project Rank Score
Coq #13 1,887,714
GHC #58 424,948
tldr-pages #1,889 3,785
Nixpkgs #9,754 3,765
Stack #239 2,504

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/310953)](https://ossrank.com/c/310953-arnaud-spiwack)