Control your Arduino board from Haskell, using the Firmata protocol
☆74Dec 15, 2022Updated 3 years ago
Alternatives and similar repositories for hArduino
Users that are interested in hArduino are comparing it to the libraries listed below
Sorting:
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆13Feb 21, 2020Updated 6 years ago
- Octree is a shallow tree structure for 3-dimensional points☆20Jul 22, 2020Updated 5 years ago
- Haskell development resources and best practices☆19Dec 3, 2025Updated 2 months ago
- Music and sound synthesis in Haskell!☆53May 18, 2024Updated last year
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- Arduino programming without the hassle of C.☆249Apr 23, 2019Updated 6 years ago
- music sequencer and generalized notation☆72Feb 23, 2026Updated last week
- Small code examples demonstrating the use of Euterpea2 and HSoM☆32Feb 25, 2020Updated 6 years ago
- Generates a references DB from .hie files☆68Jan 21, 2026Updated last month
- ☆10Dec 5, 2022Updated 3 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Upload packages or documentation to a hackage server☆11Jul 18, 2022Updated 3 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 3 months ago
- ☆11Sep 19, 2017Updated 8 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- example how to use declarative containers to deploy arbitrarty webservices on the same system☆11Apr 27, 2014Updated 11 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 9 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Jun 2, 2025Updated 9 months ago
- Icicle Streaming Query Language☆28Jan 20, 2026Updated last month
- Build servers in Hyper using Trout☆16Jul 2, 2020Updated 5 years ago
- Generate flamegraphs from Jaeger .json dumps☆15Aug 26, 2019Updated 6 years ago
- Publishing tools for papers, books, and presentations☆13May 29, 2024Updated last year
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- Play Euterpea Music values through Vivid's real-time audio framework (requires SuperCollider)☆11Sep 18, 2017Updated 8 years ago
- a servant like DSL for templating requests☆15Apr 8, 2021Updated 4 years ago
- Benchmarks to compare Haskell streaming library performance☆107Sep 9, 2025Updated 5 months ago
- Examples for Streamly☆30Sep 20, 2025Updated 5 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated 2 weeks ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 5 years ago
- Cross platform haskell library for using the serial port☆43Jul 23, 2020Updated 5 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Jan 5, 2026Updated last month
- Library of simd functions☆19Jul 24, 2025Updated 7 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago