zephyr-copilot: Embedded programming in haskell using the Copilot stream DSL and Zephyr
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/
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- zephyr-copilot-1.0.9.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.0.5, 1.0.6, 1.0.7, 1.0.8, 1.0.9 |
---|---|
Change log | CHANGELOG |
Dependencies | base (>=4.5 && <5), containers, copilot (>=3.18 && <3.19), copilot-c99 (>=3.18 && <3.19), copilot-language (>=3.18 && <3.19), directory, filepath, mtl, optparse-applicative (>=0.14.1), sketch-frp-copilot (==1.0.10), temporary [details] |
License | BSD-3-Clause |
Copyright | 2020-2022 Joey Hess |
Author | Joey Hess |
Maintainer | Joey Hess <id@joeyh.name> |
Category | Embedded, Language |
Source repo | head: git clone git://git.joeyh.name/zephyr-copilot.git |
Uploaded | by JoeyHess at 2024-02-22T18:26:35Z |
Distributions | |
Downloads | 680 total (29 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2024-02-22 [all 1 reports] |