Nicolet Victor (@victornicolet)
github

victornicolet

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    19
  • Global Rank 661,842 (Top 23 %)
  • Followers 20
  • Following 5
  • Registered about 10 years ago
  • Most used languages
    Python
         33.3 %
    C++
         33.3 %
    OCaml
         33.3 %
  • Location 🇨🇦 Canada
  • Country Total Rank 15,732
  • Country Ranking
    OCaml
         21
    C++
         5,693

Top repositories

1

parsynt

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

precise-parallel-fp

C++
1
star
3

vscode-sygus

Extension for SyGuS language in Visual Studio Code.
1
star
4

genconstraints

Generating SAT encodings of At Most K constraints
Python
1
star