Danil Annenkov (@annenkov)
  • Stars
    star
    74
  • Global Rank 258,484 (Top 9 %)
  • Followers 25
  • Following 4
  • Registered almost 12 years ago
  • Most used languages
    Racket
    22.2 %
    Coq
    22.2 %
    Java
    11.1 %
    LigoLANG
    11.1 %
    Lean
    11.1 %
    Agda
    11.1 %
    Rust
    11.1 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 1,094
  • Country Ranking
    Lean
    1
    LigoLANG
    1
    Racket
    3
    Agda
    5
    Coq
    8
    Rust
    165
    Java
    424