Contributor

Lysxia

Overview

Global Rank

#103,590 209,411 points

Project Contributions

Project Rank Score
Coq #69 143,346
GHC #210 37,884
Stackage #167 26,032
Cabal #361 2,945

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/539860)](https://ossrank.com/c/539860-lysxia)