Nicolet Victor (@victornicolet)
github

victornicolet

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Rank 669,084 (Top 24 %)
  • Followers 19
  • Following 5
  • Registered over 9 years ago
  • Most used languages
    Python
         33.3 %
    OCaml
         33.3 %
    C++
         33.3 %
  • Location 🇨🇦 Canada
  • Country Total Rank 15,732
  • Country Ranking
    OCaml
         21
    C++
         6,224

Top repositories

1

parsynt

Automatic parallel divide-and-conquer programs synthesizer
OCaml
16
star
2

precise-parallel-fp

C++
1
star
3

genconstraints

Generating SAT encodings of At Most K constraints
Python
1
star