Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : zephyr-copilot
zephyr-copilot contains allows using Haskell to program many boards supported by the Zephyr project. zephyr-copilot uses the Copilot stream DSL (domain-specific language) and Functional Reactive Programming (FRP) to generate a program which can be compiled in Zephyr and flashed to the board. All the messy details are abstracted away, letting you focus on the desired behavior of the board. 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. https://copilot-language.github.io/ Zephyr is a real time embedded operating system (RTOS) supporting hundreds of boards. https://zephyrproject.org/
Registry
- JSON
purl: pkg:hackage/zephyr-copilot
Keywords: bsd3, embedded, language, library
License: BSD-3-Clause
Latest release: 3 months ago
First release: about 2 years ago
Downloads: 487 total
Last synced: 21 days ago