-
Stars63
-
Global Rank 290,063 (Top 10 %)
-
Followers 77
-
Following 564
-
Registered almost 11 years ago
-
Most used languagesHaskell29.4 %HTML17.6 %Scala11.8 %Coq 5.9 %TeX5.9 %Python5.9 %Jupyter Notebook5.9 %Shell5.9 %Vim Script5.9 %Standard ML 5.9 %
-
Location 🇺🇸 United States
-
Country Total Rank 58,359
-
Country RankingStandard ML 150Coq 216Haskell1,194Scala2,496TeX5,532Vim Script6,342
