A (Haskell DSL) stream language for generating hard Real-Time C code

copilot-language.github.io