Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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
purl: pkg:hackage/copilot
Keywords: bsd3, embedded, language, library
License: BSD-3-Clause
Latest release: 26 days ago
First release: over 13 years ago
Dependent packages: 5
Dependent repositories: 5
Downloads: 26,997 total
Last synced: 25 days ago
copilot 3.19.1
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specif...50 versions - Latest release: 26 days ago - 5 dependent packages - 5 dependent repositories - 27 thousand downloads total - 4 maintainers
copilot-verifier 3.19
copilot-verifier is an add-on to the Copilot Stream DSL for verifying the correctness of C code g...2 versions - Latest release: 3 months ago - 1 dependent package - 46 downloads total - 3 maintainers
zephyr-copilot 1.0.9
zephyr-copilot contains allows using Haskell to program many boards supported by the Zephyr proje...10 versions - Latest release: 3 months ago - 511 downloads total - 1 maintainer
arduino-copilot 1.7.8
arduino-copilot contains the basic building blocks to program your Arduino Nano, Arduino Uno or c...25 versions - Latest release: 3 months ago - 4.59 thousand downloads total - 1 maintainer