sketch-frp-copilot: 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, 1.0.1, 1.0.2, 1.0.3
Change log CHANGELOG
Dependencies base (>=4.5 && <5), containers, copilot (>=3.10 && <3.11), copilot-c99 (>=3.10 && <3.11), copilot-language (>=3.10 && <3.11), 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 2022-07-13T01:39:37Z
Distributions NixOS:1.0.3
Downloads 87 total (3 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-07-13 [all 1 reports]