Nuno Lopes (@nunoplopes)
github

nunoplopes

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    232
  • Global Rank 109,653 (Top 4 %)
  • Followers 109
  • Registered almost 12 years ago
  • Most used languages
    Python
         66.7 %
    C++
         33.3 %
  • Location 🇵🇹 Portugal
  • Country Total Rank 376
  • Country Ranking
    Python
         54
    C++
         148

Top repositories

1

alive

Alive: Automatic LLVM's Instcombine Verifier
Python
214
star
2

torchy

A tracing JIT compiler for PyTorch
C++
12
star
3

llvm-aa-verif

Verification of LLVM's alias analysis proof rules
Python
5
star
4

chocore2c

Chocolatey re2c package
1
star