-
Stars2,771
-
Global Rank 10,731 (Top 0.4 %)
-
Followers 771
-
Following 4
-
Registered almost 14 years ago
-
Most used languagesOCaml34.4 %TeX18.8 %Python15.6 %Agda 6.3 %Verilog 3.1 %Perl3.1 %HTML3.1 %Java3.1 %Shell3.1 %Coq 3.1 %Mathematica 3.1 %Lean 3.1 %
-
Location ๐ธ๐ฎ Slovenia
-
Country Total Rank 8
-
Country RankingCoq 1OCaml1TeX1Lean 2Mathematica 2Verilog 2Agda 3Perl7HTML11Shell35Java46Python58
