-
Stars34
-
Global Rank 448,285 (Top 16 %)
-
Followers 51
-
Following 11
-
Registered over 13 years ago
-
Most used languagesHaskell40.9 %Python13.6 %Lean 9.1 %Rust9.1 %Shell4.5 %Verilog 4.5 %Perl4.5 %Assembly4.5 %C4.5 %Vim Script4.5 %
-
Location ๐บ๐ธ United States
-
Country Total Rank 88,705
-
Country RankingLean 91Verilog 623Haskell692Assembly2,378Perl4,294Vim Script5,467Rust5,610
