-
Stars102
-
Global Rank 204,207 (Top 8 %)
-
Followers 66
-
Following 33
-
Registered about 8 years ago
-
Most used languagesHaskell52.2 %Python13.0 %Java8.7 %Cuda 4.3 %C++4.3 %Nix4.3 %Coq 4.3 %Dockerfile4.3 %Racket4.3 %
-
Location πΊπΈ United States
-
Country Total Rank 47,323
-
Country RankingCoq 206Haskell262Racket427Cuda 529Nix646Dockerfile4,416
