Ammar Ben Khadra (@abenkhadra)
github

abenkhadra

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    481
  • Global Rank 57,716 (Top 3 %)
  • Followers 39
  • Registered about 9 years ago
  • Most used languages
    C++
         57.1 %
    F#
         14.3 %
    CSS
         14.3 %
    CMake     14.3 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 3,272
  • Country Ranking
    CMake     10
    F#
         112
    C++
         359
    CSS
         2,980

Top repositories

1

llvm-pass-tutorial

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

bcov

Static instrumentation tool for efficient binary-level coverage analysis.
C++
141
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