-
Stars20
-
Global Rank 637,605 (Top 23 %)
-
Followers 35
-
Following 21
-
Registered over 11 years ago
-
Most used languagesElixir40.0 %Python20.0 %Agda 20.0 %JavaScript20.0 %
-
Location ๐ฏ๐ต Japan
-
Country Total Rank 10,735
-
Country RankingAgda 4Elixir104JavaScript7,900Python8,139
