A Haskell-embedded DSL for monitoring hard real-time
distributed systems.
The concrete syntax for Copilot.
Copilot is a stream (i.e., infinite lists) domain-specific language
(DSL) in Haskell that compiles into embedded C. Copilot contains an
interpreter, multiple back-end compilers, and other verification
tools.
A tutorial, examples, and other information are available at
https://copilot-language.github.io.