Emmanuel Pescosta (@emmanuel099)
github

emmanuel099

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,103,066 (Top 39 %)
  • Followers 14
  • Following 7
  • Registered over 10 years ago
  • Most used languages
    Rust
         66.7 %
    Python
         33.3 %
  • Location πŸ‡¦πŸ‡Ή Austria
  • Country Total Rank 4,016
  • Country Ranking
    Rust
         128
    Python
         1,260

Top repositories

1

specgraph

Tool for visualizing Spectector traces.
Python
3
star
2

specbmc

Bounded model checker for speculative non-interference.
Rust
3
star
3

muasm-parser

Β΅ASM Parser in Rust
Rust
1
star