Our Arduino experiments
☆75Apr 11, 2018Updated 7 years ago
Alternatives and similar repositories for haskino
Users that are interested in haskino are comparing it to the libraries listed below
Sorting:
- Haskino Examples☆22Apr 22, 2022Updated 3 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- A utility library for the purescript foreign function interface☆21Jun 12, 2018Updated 7 years ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Sep 18, 2015Updated 10 years ago
- Extended FLTKHS demos moved to a separate package to keep the core package free of additional dependencies.☆18Jul 27, 2020Updated 5 years ago
- Build servers in Hyper using Trout☆16Jul 2, 2020Updated 5 years ago
- An Atari VCS 2600 emulator written in Haskell☆18Feb 16, 2022Updated 4 years ago
- Arduino programming without the hassle of C.☆249Apr 23, 2019Updated 6 years ago
- ☆43Mar 1, 2023Updated 3 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- ☆31Feb 26, 2026Updated 3 weeks ago
- Slides for Scalaworld 2019☆15Oct 29, 2020Updated 5 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Aug 5, 2025Updated 7 months ago
- A Genetic Algorithm library in Haskell☆20Nov 11, 2018Updated 7 years ago
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Dec 29, 2020Updated 5 years ago
- Spawn child processes in PureScript via the Node.js child_process API.☆13Mar 22, 2025Updated 11 months ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Sep 19, 2023Updated 2 years ago
- ☆12Jun 13, 2019Updated 6 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- ☆11Sep 19, 2017Updated 8 years ago
- Haskell Dockerfile linter, parser, pretty-printer and EDSL, forked from https://github.com/lukasmartinelli/hadolint.☆19Nov 18, 2017Updated 8 years ago
- Control your Arduino board from Haskell, using the Firmata protocol☆74Dec 15, 2022Updated 3 years ago
- Types for ldtk☆16Apr 13, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Example-based Haskell Documentation Engine☆59Jun 16, 2019Updated 6 years ago
- Haskell binding for Bullet physics engine☆24May 14, 2020Updated 5 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 2017Updated 8 years ago
- Haskell bindings to the Graphviz toolkit☆64Sep 28, 2022Updated 3 years ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Jul 23, 2015Updated 10 years ago
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 3 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- Haskell/Java interop via inline Java code in Haskell modules.☆234Sep 18, 2025Updated 6 months ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 8 years ago
- A DSL for embedded hard realtime applications.☆276May 15, 2017Updated 8 years ago