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
about 1 month ago
Versions
60
Downloads
29,593 total
Dependent Packages
5
Dependent Repos
5
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 3 days ago
Rankings on hackage.haskell.org
Downloads Top 5.3%
Dependent packages Top 4.6%