Copilot packages
Showing projects tagged as Embedded and Copilot
-
copilot-language
6.6 0.0 HaskellA Haskell-embedded DSL for monitoring hard real-time distributed systems. -
copilot-core
4.2 0.0 HaskellIntermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.