GitHub repository: stephensj2/Vanguard
Primary language: LLVM
Description: Houses LLVM static analyzer and detectors for smart contracts