-
Stars120
-
Global Rank 182,013 (Top 7 %)
-
Followers 37
-
Following 25
-
Registered almost 15 years ago
-
Most used languagesRacket66.7 %Agda 11.1 %Vim Script11.1 %Starlark 11.1 %
-
Location ๐บ๐ธ United States
-
Country Total Rank 39,690
-
Country RankingRacket37Agda 63Starlark 237Vim Script4,432
