Ammar Ben Khadra (@abenkhadra)
github

abenkhadra

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    496
  • Global Rank 58,236 (Top 3 %)
  • Followers 41
  • Registered over 9 years ago
  • Most used languages
    C++
         57.1 %
    CSS
         14.3 %
    CMake     14.3 %
    F#
         14.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 3,272
  • Country Ranking
    CMake     9
    F#
         110
    C++
         367
    CSS
         4,483

Top repositories

1

llvm-pass-tutorial

A step-by-step tutorial for building an LLVM sample pass
CMake
212
star
2

bcov

Static instrumentation tool for efficient binary-level coverage analysis.
C++
144
star
3

spedi

Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
C++
103
star
4

gosat

SMT solver for the theory of floating-point arithmetic
C++
25
star
5

dithumb

Minimal ARM/Thumb linear sweep disassembler similar to objdump
C++
10
star
6

quarto

A synthesis library from the synchronous language Quartz to the actor-oriented modeling library SysteMoC.
F#
1
star
7

formallyapplied.template

Template sources of my Pelican based blog
CSS
1
star