-
Stars13
-
Global Rank 831,502 (Top 29 %)
-
Followers 9
-
Following 7
-
Registered about 10 years ago
-
Most used languagesAgda 57.1 %Python28.6 %C14.3 %
-
Location 🇳🇿 New Zealand
-
Country Total Rank 2,335
-
Country RankingAgda 1C435Python919
