GitHub repository: Aluriak/ACCC
Primary language: Python
Created: 2015-02-26T18:34:05Z
Description: Always Correct Correctness Compiler