-
Stars26
-
Global Rank 542,735 (Top 19 %)
-
Followers 57
-
Following 100
-
Registered about 14 years ago
-
Most used languagesHaskell50.0 %Coq 12.5 %Java12.5 %C#12.5 %JavaScript12.5 %
-
Location 🇯🇵 Japan
-
Country Total Rank 9,784
-
Country RankingCoq 22Haskell168C#1,541Java1,582JavaScript8,239
