Contributor

sou7

Overview

Global Rank

#228,860 45,581 points

Project Contributions

Project Rank Score
Nixpkgs #5,672 22,680
Erg Lang #12 11,898
Coq #194 10,194
shapez.io #135 809

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/287033)](https://ossrank.com/c/287033-sou7)