sketch-frp-copilot: 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

Package maintainers

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.7 && <3.8), copilot-c99 (>=3.7 && <3.8), copilot-language (>=3.7 && <3.8), 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-02-15T01:09:51Z
Distributions
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 505 total (47 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-15 [all 1 reports]