Daniela Kaufmann (@d-kfmnn)
github

d-kfmnn

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    31
  • Global Rank 479,903 (Top 17 %)
  • Followers 6
  • Registered almost 5 years ago
  • Most used languages
    C
         50.0 %
    C++
         50.0 %
  • Location πŸ‡¦πŸ‡Ή Austria
  • Country Total Rank 2,498
  • Country Ranking
    C++
         219
    C
         279

Top repositories

1

amulet2

AMulet 2. - A better AIG Multiplier Examination Tool
C++
20
star
2

aigofuzzing

AIGoFuzzing : Mutation-Based AIG Fuzzer
C
4
star
3

teluma

Dual variables in AMulet2
C++
4
star
4

amulet

AMulet - AIG Multiplier Examination Tool [Deprecated]
C
3
star