-
Stars22
-
Global Rank 603,566 (Top 21 %)
-
Followers 14
-
Following 7
-
Registered about 12 years ago
-
Most used languagesHaskell20.0 %Jupyter Notebook20.0 %HTML20.0 %Agda 20.0 %C++20.0 %
-
Location πΊπΈ United States
-
Country Total Rank 107,140
-
Country RankingAgda 21Haskell1,246
