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 | 120 total (4 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] |