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.
hackage.haskell.org
4.6.1
2 months ago
61
29,671 total
5
5
Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |