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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • 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 <>
Category Embedded, Language
Source repo head: git clone git://
Uploaded by JoeyHess at 2022-02-14T18:36:52Z
Downloads 95 total (5 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]