GitHub repository: IBM/cpg
Primary language: Python
Description: code for the compositional program generator (cpg)