@thierry-martinez
  • Stars
    star
    498
  • Global Rank 58,003 (Top 2 %)
  • Followers 73
  • Registered almost 13 years ago
  • Most used languages
    OCaml
    65.2 %
    Rust
    8.7 %
    C
    8.7 %
    JavaScript
    4.3 %
    Coq
    4.3 %
    Python
    4.3 %
    CMake
    4.3 %