-
Stars19
-
Global Rank 650,768 (Top 23 %)
-
Followers 41
-
Following 336
-
Registered about 8 years ago
-
Most used languagesEmacs Lisp28.6 %Lean 14.3 %Dockerfile14.3 %CSS14.3 %Python14.3 %Lex 14.3 %
-
Location 🇺🇸 United States
-
Country Total Rank 118,919
-
Country RankingLex 43Lean 99Emacs Lisp575Dockerfile5,507CSS9,609
