-
Stars44
-
Global Rank 373,242 (Top 13 %)
-
Followers 66
-
Following 10
-
Registered over 13 years ago
-
Most used languagesC++28.6 %Rust14.3 %OCaml14.3 %Python14.3 %Lean 14.3 %Jupyter Notebook14.3 %
-
Location πΊπΈ United States
-
Country Total Rank 72,070
-
Country RankingLean 118OCaml691Rust2,699Jupyter Notebook8,538
