ku-fpg / haskinoView external linksLinks
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
- Extended FLTKHS demos moved to a separate package to keep the core package free of additional dependencies.☆18Jul 27, 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
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Sep 18, 2015Updated 10 years ago
- A utility library for the purescript foreign function interface☆21Jun 12, 2018Updated 7 years ago
- Arduino programming without the hassle of C.☆249Apr 23, 2019Updated 6 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- ☆31Feb 4, 2024Updated 2 years ago
- ☆43Mar 1, 2023Updated 2 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- Spawn child processes in PureScript via the Node.js child_process API.☆13Mar 22, 2025Updated 10 months ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- PureScript FFI bindings for the Electron API☆10Jan 24, 2018Updated 8 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
- ☆11Sep 19, 2017Updated 8 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Sep 19, 2023Updated 2 years ago
- Oleg Kiselyov's zipper-based file-server/OS☆27Apr 9, 2020Updated 5 years ago
- Build servers in Hyper using Trout☆16Jul 2, 2020Updated 5 years ago
- A fast globally unique variable supply with a pure API☆19Jun 26, 2023Updated 2 years ago
- ☆12Jun 13, 2019Updated 6 years ago
- Types for ldtk☆16Apr 13, 2024Updated last year
- Real-time collaborative editing with Operational Transformation☆40Jul 20, 2024Updated last year
- Control your Arduino board from Haskell, using the Firmata protocol☆74Dec 15, 2022Updated 3 years ago
- Sound for all!☆14Mar 22, 2021Updated 4 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- Example-based Haskell Documentation Engine☆59Jun 16, 2019Updated 6 years ago
- Hoogle terminal UI brick example app☆105Jan 11, 2026Updated last month
- A Genetic Algorithm library in Haskell☆20Nov 11, 2018Updated 7 years ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Jul 23, 2015Updated 10 years ago
- highlevel bindings for gnupg made easy in haskell☆12Sep 25, 2022Updated 3 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 2 months ago
- Category theory concepts in type classes and instances.☆23Updated this week
- Haskell binding for Bullet physics engine☆24May 14, 2020Updated 5 years ago
- A simple Idris program to blink the LED on an Arduino☆58Jul 26, 2021Updated 4 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆31Sep 23, 2023Updated 2 years ago
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago