Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : copilot-c99
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at https://copilot-language.github.io.
Registry
- Homepage
- JSON
purl: pkg:hackage/copilot-c99
Keywords: bsd3, embedded, language, library
License: BSD-3-Clause
Latest release: 27 days ago
First release: over 12 years ago
Dependent packages: 5
Dependent repositories: 5
Downloads: 14,501 total
Last synced: 27 days ago
copilot 3.19.1
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specif...50 versions - Latest release: 27 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