copilot-language: A Haskell-embedded DSL for monitoring hard real-time distributed systems.

[ bsd3, embedded, language, library ] [ Propose Tags ]

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, bug reports, and todos are available at

Examples are available at

Versions [faq] 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 0.9.1, 2.1.1, 2.1.2, 2.2.0, 2.2.1, 3.0, 3.0.1
Dependencies array, base (>=4.0 && <5), containers (>=0.4), copilot-core (>=2.2.0), copilot-theorem (>=2.0), data-reify (>=0.6), ghc-prim (>=0.2), mtl (>=2.0 && <3) [details]
License BSD-3-Clause
Author Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller, Nis Nordby Wegmann
Revised Revision 1 made by LeePike at Fri Oct 23 21:58:44 UTC 2015
Category Language, Embedded
Source repo head: git clone git://
Uploaded by LeePike at Fri Oct 23 20:44:42 UTC 2015
Distributions NixOS:3.0.1
Downloads 6989 total (152 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2015-12-12 [all 4 reports]




Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees