-
Stars26
-
Global Rank 539,795 (Top 19 %)
-
Followers 10
-
Following 13
-
Registered about 15 years ago
-
Most used languagesProlog23.1 %Logtalk 15.4 %Coq 7.7 %Go7.7 %JavaScript7.7 %Python7.7 %Nix7.7 %TypeScript7.7 %PLpgSQL 7.7 %C7.7 %
-
Location 🇺🇸 United States
-
Country Total Rank 100,102
-
Country RankingLogtalk 1Prolog45Coq 203PLpgSQL 621Nix818
