The copilot package

[Tags: bsd3, library, program]

This package is the main entry-point for using 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


Versions0.21, 0.22, 0.23, 0.25, 0.26, 0.27, 0.28, 1.0, 1.0.1, 1.0.2, 2.0, 2.0.1, 2.0.2, 2.0.3, 2.0.4, 2.0.5, 2.0.6, 2.0.7, 2.0.8, 2.0.9, 2.1.0, 2.1.1, 2.1.2
Dependenciesbase (>=4.0), copilot-c99 (>=0.2), copilot-cbmc, copilot-core, copilot-language, copilot-libraries, copilot-sbv, directory (>=1.1), random
AuthorNis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe
MaintainerLee Pike <>
CategoryLanguage, Embedded
Home page
Source repositoryhead: git clone git://
UploadedFri Mar 2 03:26:49 UTC 2012 by LeePike
Downloads2417 total (240 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees