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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • 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
Change log CHANGELOG
Dependencies base (>=4.5 && <5), containers, copilot (>=3.14 && <3.15), copilot-c99 (>=3.14 && <3.15), copilot-language (>=3.14 && <3.15), mtl, optparse-applicative (>=0.14.1) [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 2023-03-09T16:57:53Z
Distributions NixOS:1.0.8
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 303 total (21 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-03-09 [all 1 reports]