A (Haskell DSL) stream language for generating hard real-time C code. - View it on GitHub