-
Stars1,217
-
Global Rank 25,353 (Top 0.9 %)
-
Followers 156
-
Following 29
-
Registered over 10 years ago
-
Most used languagesLean 21.4 %Python21.4 %Vim Script14.3 %Julia14.3 %Jupyter Notebook14.3 %Rust7.1 %Haskell7.1 %
-
Location πΊπΈ United States
-
Country Total Rank 7,518
-
Country RankingVim Script40Lean 42Julia763Jupyter Notebook2,758Haskell2,988Rust9,533
