The CAO language is aimed at writing cryptographic software in a higher abstraction level which is then transformed and compiled to the C language, while preserving the overall safety properties.
The CAO compiler is publicly available from the Hackage repository.