Ivory Language

The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell.

The Ivory Language compiler is open source software. It is available on github and on hackage:

We presented an experience report at ICFP 2014 on using Ivory to build SMACCMPilot:

Ivory is made by Galois.