-
Stars37
-
Global Rank 421,862 (Top 15 %)
-
Followers 17
-
Following 20
-
Registered almost 13 years ago
-
Most used languagesOCaml42.9 %Prolog14.3 %Rust14.3 %Agda 14.3 %Common Lisp14.3 %
-
Location 🇯🇵 Japan
-
Country Total Rank 7,970
-
Country RankingAgda 7Prolog12OCaml28Common Lisp132Rust1,677
