-
Stars58
-
Global Rank 307,272 (Top 11 %)
-
Followers 61
-
Following 45
-
Registered over 9 years ago
-
Most used languagesAgda 30.0 %Haskell30.0 %Nix15.0 %Scheme5.0 %TeX5.0 %Julia5.0 %Coq 5.0 %Fortran5.0 %
-
Location 🇰🇷 South Korea
-
Country Total Rank 2,610
-
Country RankingAgda 1Nix3Fortran6Haskell10Coq 11Scheme15Julia19TeX66
