Patrick Hulin

icon indicating an email [email protected]

Results 2 repositories owned by Patrick Hulin

rebook

119
Stars
29
Forks
Watchers

A collection of tools for cleaning up book scans.

verified publisher icon phulin

symbolic-trace

15
Stars
3
Forks
Watchers

Symbolic execution of LLVM IR traces for program understanding.

verified publisher icon phulin