copilot-frp-sketch: FRP sketch programming with Copilot
This extends Copilot with a FRP-like interface which can be used to implement simple standalone programs (sketches) for embedded boards.
It is used by arduino-copilot and zephyr-copilot.
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/
Downloads
- copilot-frp-sketch-1.0.0.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 |
---|---|
Dependencies | base (>=4.5 && <5), containers, copilot (>=3.7 && <3.8), copilot-c99 (>=3.7 && <3.8), copilot-language (>=3.7 && <3.8), directory, filepath, mtl, optparse-applicative (>=0.14.1), 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/copilot-frp-sketch.git |
Uploaded | by JoeyHess at 2022-02-14T18:36:52Z |
Distributions | |
Downloads | 123 total (2 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2022-02-14 [all 1 reports] |