-
Stars110
-
Global Rank 193,045 (Top 7 %)
-
Followers 136
-
Following 59
-
Registered almost 12 years ago
-
Most used languagesHaskell35.7 %Python28.6 %Scheme7.1 %C++7.1 %Shell7.1 %Agda 7.1 %HTML7.1 %
-
Location 🇬🇧 United Kingdom
-
Country Total Rank 8,426
-
Country RankingAgda 28Scheme39Haskell91Python3,119C++4,018Shell5,458
