Simon Wimmer (@wimmers)
  • Stars
    star
    31
  • Global Rank 479,903 (Top 17 %)
  • Followers 15
  • Following 6
  • Registered over 12 years ago
  • Most used languages
    Isabelle
    30.0 %
    Python
    20.0 %
    TypeScript
    20.0 %
    OCaml
    20.0 %
    JavaScript
    10.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 21,064
  • Country Ranking
    Isabelle
    3
    OCaml
    62
    TypeScript
    3,824