Pierrick Couderc (@Thriim)
github

Thriim

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 2
  • Registered over 9 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 28,802
  • Country Ranking
    OCaml
         183

Top repositories

1

hashlife-ocaml

Previous project developped during our "Travail d'Etudes et de Recherches", under the supervision of Jean-Christophe FilliΓ’tre (LRI).
OCaml
3
star
2

so-many-theories

Mini SMT Solver reasoning about the equality theory. Project for the Automatic Deduction course in MPRI.
OCaml
1
star