-
Stars5
-
Global Rank 1,435,387 (Top 50 %)
-
Followers 14
-
Following 6
-
Registered over 11 years ago
-
Most used languagesTeX25.0 %Agda 25.0 %Standard ML 25.0 %Scala25.0 %
-
Location 🇺🇸 United States
-
Country Total Rank 239,173
-
Country RankingAgda 76Standard ML 110Scala3,372TeX5,282
