Olivier Nicole (@OlivierNicole)
  • Stars
    star
    72
  • Global Rank 263,660 (Top 10 %)
  • Followers 60
  • Following 31
  • Registered about 9 years ago
  • Most used languages
    OCaml
    50.0 %
    Agda
    12.5 %
    Haskell
    12.5 %
    TeX
    12.5 %
    HTML
    12.5 %
  • Location 🇫🇷 France
  • Country Total Rank 6,817
  • Country Ranking
    Agda
    9
    Haskell
    55
    OCaml
    80
    TeX
    792
    HTML
    2,239