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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Feb 21, 2020Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆47Jan 12, 2026Updated 2 months ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Arduino programming without the hassle of C.☆249Apr 23, 2019Updated 6 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Sep 5, 2020Updated 5 years ago
- Generates a references DB from .hie files☆68Jan 21, 2026Updated 2 months ago
- Music and sound synthesis in Haskell!☆53May 18, 2024Updated last year
- A DSL for embedded hard realtime applications.☆276May 15, 2017Updated 8 years ago
- Haskell development resources and best practices☆19Dec 3, 2025Updated 3 months ago
- Examples to demonstrate the core computational structures of Haskell based scotty web framework library☆14May 13, 2017Updated 8 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- Octree is a shallow tree structure for 3-dimensional points☆20Jul 22, 2020Updated 5 years ago
- GHC plugin for automatic case splitting☆18Sep 7, 2025Updated 6 months ago
- Small random demonstrations of code☆12Nov 19, 2019Updated 6 years ago
- Benchmarks to compare Haskell streaming library performance☆107Sep 9, 2025Updated 6 months ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Jun 2, 2025Updated 9 months ago
- music sequencer and generalized notation☆72Feb 23, 2026Updated last month
- Upload packages or documentation to a hackage server☆11Jul 18, 2022Updated 3 years ago
- ☆10Dec 5, 2022Updated 3 years ago
- Some useful control operators for looping☆47Mar 16, 2020Updated 6 years ago
- Haskell Wavefront OBJ loader library☆20Dec 23, 2023Updated 2 years ago
- An Ivory library inspired by Atom☆14Oct 17, 2016Updated 9 years ago
- example how to use declarative containers to deploy arbitrarty webservices on the same system☆11Apr 27, 2014Updated 11 years ago
- Icicle Streaming Query Language☆28Jan 20, 2026Updated 2 months ago
- hopfield☆30Oct 8, 2021Updated 4 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Mar 7, 2013Updated 13 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 4 months ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- A (Haskell DSL) stream language for generating hard real-time C code.☆153Mar 30, 2019Updated 6 years ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 5 years ago
- Convert to/from IEEE-754 HP/SP/DP formats☆22Nov 9, 2024Updated last year
- A fast open-union type, suitable for 100+ contained alternatives.☆100Apr 28, 2024Updated last year
- ☆15May 16, 2017Updated 8 years ago
- Example-based Haskell Documentation Engine☆59Jun 16, 2019Updated 6 years ago
- Just Add Water direnv support for the nix-shell☆45Jul 14, 2021Updated 4 years ago
- A simple Idris program to blink the LED on an Arduino☆58Jul 26, 2021Updated 4 years ago
- a servant like DSL for templating requests☆15Apr 8, 2021Updated 4 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆266Updated this week
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 6 years ago