sketch-frp-copilot: 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/
Modules
[Index] [Quick Jump]
Downloads
- sketch-frp-copilot-1.0.10.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, 1.0.10 |
|---|---|
| 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), mtl, optparse-applicative (>=0.14.1) [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/sketch-frp-copilot.git |
| Uploaded | by JoeyHess at 2024-02-22T18:00:19Z |
| Distributions | |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Downloads | 772 total (26 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] |