-
Stars64
-
Global Rank 286,038 (Top 10 %)
-
Followers 194
-
Following 775
-
Registered almost 12 years ago
-
Most used languagesHaskell31.6 %Rust10.5 %OCaml10.5 %Idris 5.3 %Elixir5.3 %Makefile 5.3 %Java5.3 %Jupyter Notebook5.3 %Scala5.3 %Isabelle 5.3 %Prolog5.3 %Agda 5.3 %
-
Location 🇦🇷 Argentina
-
Country Total Rank 821
-
Country RankingAgda 1Isabelle 1OCaml1Idris 2Haskell14Prolog18Elixir48Scala62Makefile 68Rust104Jupyter Notebook580Java1,551
