-
Stars36
-
Global Rank 418,488 (Top 15 %)
-
Followers 15
-
Following 20
-
Registered over 12 years ago
-
Most used languagesOCaml42.9 %Agda 14.3 %Prolog14.3 %Common Lisp14.3 %Rust14.3 %
-
Location π―π΅ Japan
-
Country Total Rank 7,970
-
Country RankingAgda 7Prolog12OCaml29Common Lisp156Rust1,297
