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.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
about 1 month ago
4.6.1
about 1 month ago
Versions
60
60
Downloads
29,593 total
29,593 total
Dependent Packages
5
5
Dependent Repos
5
5
Loading...
Readme
Loading...
Links
| Registry | hackage.haskell.org |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
Rankings on hackage.haskell.org
Downloads
Top 5.3%
Dependent packages
Top 4.6%