Emil Holm Gjørup (@limemloh)
  • Stars
    star
    38
  • Global Rank 413,863 (Top 15 %)
  • Followers 55
  • Following 6
  • Registered almost 11 years ago
  • Most used languages
    TypeScript
    57.1 %
    Agda
    28.6 %
    Emacs Lisp
    14.3 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,627
  • Country Ranking
    Agda
    3