GitHub repository: mkannwischer/hcc
Primary language: C
Description: Horn Clause Compiler