GitHub repository: yakii9/artificial-programmer
Primary language: Python
Description: 接受形式化的需求，输出可执行程序。