copilot-frp-sketch: FRP sketch programming with Copilot

[ bsd3, embedded, language, library ] [ Propose Tags ]

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

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 NixOS:1.0.0
Downloads 27 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]