Ivory - indexIvory 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 have two technical papers about Ivory, one covering the language itself and one describing our experiences in building a high-assurance autopilot using Ivory:
