-
Stars20
-
Global Rank 640,116 (Top 23 %)
-
Followers 26
-
Following 17
-
Registered over 11 years ago
-
Most used languagesHaskell45.5 %Emacs Lisp18.2 %Kotlin9.1 %Clojure9.1 %Python9.1 %Idris 9.1 %
-
Location π³π΄ Norway
-
Country Total Rank 2,450
-
Country RankingIdris 3Haskell26Emacs Lisp37Clojure95Kotlin134Python1,941
