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 https://github.com/leepike/copilot-discussion.

Examples are available at https://github.com/leepike/Copilot/tree/master/Examples.

Downloads

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

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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, 3.1, 3.2, 3.2.1, 3.3, 3.4, 3.5, 3.6, 3.7, 3.8, 3.9, 3.10, 3.11, 3.12, 3.13, 3.14, 3.15, 3.16, 3.16.1, 3.17, 3.18, 3.18.1, 3.19
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
Maintainer leepike@gmail.com
Revised Revision 1 made by LeePike at 2015-10-23T21:58:44Z
Category Language, Embedded
Source repo head: git clone git://github.com/leepike/copilot-language.git
Uploaded by LeePike at 2015-10-23T20:44:42Z
Distributions
Reverse Dependencies 8 direct, 0 indirect [details]
Downloads 15931 total (110 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-12-12 [all 4 reports]