-
Stars1,451
-
Global Rank 21,360 (Top 0.8 %)
-
Followers 264
-
Following 23
-
Registered almost 16 years ago
-
Most used languagesC++19.0 %TypeScript14.3 %JavaScript9.5 %Python9.5 %Ruby4.8 %Coq 4.8 %CoffeeScript4.8 %C4.8 %Emacs Lisp4.8 %OCaml4.8 %Go4.8 %Assembly4.8 %TeX4.8 %HTML4.8 %
-
Location 🇬🇧 United Kingdom
-
Country Total Rank 1,061
-
Country RankingOCaml5Coq 28Emacs Lisp78Ruby111CoffeeScript139TeX144Assembly180C228C++336Go865TypeScript1,228HTML2,380Python5,401
