An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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
Latest Release
4.6.1
2 months ago
Versions
61
Downloads
29,671 total
Dependent Packages
5
Dependent Repos
5
Past Dependents
Include 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
Package Details
PURL pkg:hackage/copilot
spec
License BSD-3-Clause
First Release over 15 years ago
Last Synced 10 days ago
Rankings on hackage.haskell.org
Downloads Top 5.3%
Dependent packages Top 4.6%