Yirmiuc / libghc-copilot-language-dev

DSL for monitoring hard real-time distributed systems.