-
Stars15
-
Global Rank 762,927 (Top 27 %)
-
Followers 31
-
Following 8
-
Registered about 10 years ago
-
Most used languagesPython62.5 %Idris 12.5 %Jupyter Notebook12.5 %Dockerfile12.5 %
-
Location πΊπΈ United States
-
Country Total Rank 135,062
-
Country RankingIdris 77Dockerfile4,917
