Ivory is a Haskell DSL to generate safer C code. Ivory gives strong guarantees of type and memory safety, and has features which allow the programmer to specify other safety properties.
