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]
|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|
|Dependencies||base (>=4.5 && <5), containers, copilot (>=3.14 && <3.15), copilot-c99 (>=3.14 && <3.15), copilot-language (>=3.14 && <3.15), directory, filepath, mtl, optparse-applicative (>=0.14.1), sketch-frp-copilot (==1.0.8), temporary [details]|
|Copyright||2020-2022 Joey Hess|
|Maintainer||Joey Hess <email@example.com>|
|Source repo||head: git clone git://git.joeyh.name/zephyr-copilot.git|
|Uploaded||by JoeyHess at 2023-03-09T17:49:00Z|
|Downloads||345 total (7 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2023-03-09 [all 1 reports]