-
Stars183
-
Global Rank 132,013 (Top 5 %)
-
Followers 60
-
Following 141
-
Registered almost 4 years ago
-
Most used languagesPureScript 62.5 %Rust12.5 %Idris 6.3 %Scala6.3 %TypeScript6.3 %JavaScript6.3 %
-
Location 🇺🇸 United States
-
Country Total Rank 33,109
-
Country RankingIdris 13PureScript 13Scala2,068Rust4,245
