GitHub repository: squaresLab/type-recovery
Primary language: OCaml
Description: Type equivalence and recovery for decompiled code