Top 4.6% dependent packages on hackage.haskell.org
hackage.haskell.org : copilot
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specific language (EDSL) in Haskell. Programs can be interpreted for testing, or translated into C99 code to be incorporated in a project, or as a standalone application. The C99 backend output is constant in memory and time, making it suitable for systems with hard realtime requirements. This package is the main entry-point for using Copilot. A tutorial, examples, and other information are available at https://copilot-language.github.io.
Registry
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/copilot
Keywords:
bsd3
, embedded
, language
, library
, Propose Tags
License: BSD-3-Clause
Latest release: 23 days ago
First release: over 15 years ago
Dependent packages: 5
Dependent repositories: 5
Downloads: 29,405 total
Last synced: 22 days ago