arduino-copilot: Arduino programming in haskell using the Copilot stream DSL
arduino-copilot contains the basic building blocks to program your Arduino Nano, Arduino Uno or compatible hardware using Haskell and Functional Reactive Programming (FRP).
arduino-copilot uses the Copilot stream DSL (domain-specific language) to generate an Arduino sketch, which can be loaded in the Arduino IDE and uploaded to the board. Other methods of deploying sketches to the Arduino, such as the Arduino-Makefile, can also be used with a sketch generated by arduino-copilot.
All the messy details are abstracted away, letting you focus on the desired behavior of the Arduino.
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/
[Skip to Readme]
|Versions [faq]||0.0.1, 1.0.0, 1.0.1, 1.1.1, 1.2.0, 1.3.0, 1.4.0, 1.5.0, 1.5.1, 1.5.2|
|Dependencies||base (>=4.5 && <5), containers, copilot (==3.1.*), copilot-c99 (==3.1.*), copilot-language (==3.1.*), directory, filepath, mtl, optparse-applicative (>=0.14.1), temporary [details]|
|Copyright||2020 Joey Hess|
|Maintainer||Joey Hess <firstname.lastname@example.org>|
|Source repo||head: git clone git://git.joeyh.name/arduino-copilot.git|
|Uploaded||by JoeyHess at 2020-06-14T19:16:40Z|
|Downloads||1869 total (32 in the last 30 days)|
|Rating||2.0 (votes: 1) [estimated by Bayesian average]|
Docs available [build log]
Last success reported on 2020-06-14 [all 1 reports]
For package maintainers and hackage trustees