copilot-language: 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, bug reports, and todos are available at https://github.com/leepike/copilot-discussion.

Modules

For package maintainers and hackage trustees

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, 3.19.1, 3.20, 4.0, 4.1, 4.2, 4.3, 4.4
Dependencies	array, base (>=4.0 && <5), containers (>=0.4), copilot-core (>=2.2.1), copilot-theorem (>=2.1), 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	[email protected]
Category	Language, Embedded
Source repo	head: git clone git://github.com/leepike/copilot-language.git
Uploaded	by agoodloe at 2017-07-12T16:37:35Z
Distributions	Fedora:3.19.1, LTSHaskell:4.1, Stackage:4.4
Reverse Dependencies	8 direct, 0 indirect [details]
Downloads	17476 total (74 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2017-07-12 [all 1 reports]