Jan Stolarek (@jstolarek)
  • Stars
    star
    138
  • Global Rank 163,793 (Top 6 %)
  • Followers 73
  • Following 7
  • Registered over 12 years ago
  • Most used languages
    Haskell
    53.8 %
    Agda
    15.4 %
    Python
    7.7 %
    TeX
    7.7 %
    C#
    7.7 %
    C
    7.7 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 7,267
  • Country Ranking
    Agda
    6
    Haskell
    105
    TeX
    377
    C
    3,249
    C#
    3,330
    Python
    4,912