CTAL_0

CTAL_0 is a strictly typed assembly language that is intended to be used as a target language into which C programs are compiled. The project contains a type-checker for CTAL_0 and an experimental C compiler that generates CTAL_0 assembly code.