GitHub repository: trailofbits/circuitous
Primary language: C++
Description: binary->LLVM->circuits