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
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).