Contributor

Arnaud Spiwack

Overview

Global Rank

#23,011 2,395,257 points

Project Contributions

Project Rank Score
Coq #14 1,933,470
GHC #57 451,934
tldr-pages #1,888 3,783
Nixpkgs #9,735 3,766
Stack #239 2,463

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)