GitHub repository: leepike/Copilot
Primary language: Haskell
Description: A (Haskell DSL) stream language for generating hard real-time C code.