ku-fpg / haskinoLinks
Our Arduino experiments
☆75Updated 7 years ago
Alternatives and similar repositories for haskino
Users that are interested in haskino are comparing it to the libraries listed below
Sorting:
- A simple Idris program to blink the LED on an Arduino☆58Updated 3 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- JSON quasiquoter for Haskell☆80Updated 2 years ago
- Measure allocations of a Haskell functions/values☆96Updated 7 months ago
- Haskell 98 comonads☆77Updated 3 months ago
- FRP library☆63Updated 7 years ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- Type-safe effectful state machines in Haskell☆94Updated 4 years ago
- Extensional capabilities and deriving combinators☆217Updated 11 months ago
- Benchmarks to compare Haskell streaming library performance☆104Updated 7 months ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆130Updated 3 years ago
- Haskino Examples☆22Updated 3 years ago
- Specify Servant routes with records☆87Updated 6 years ago
- The MonadUnliftIO typeclass for unlifting monads to IO☆148Updated 3 months ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Safe, consistent, and easy exception handling☆136Updated last year
- A file watcher and development tool.☆130Updated 7 months ago
- Haskell library for simple, concise and fast generic operations.☆81Updated last year
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆106Updated 6 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Implement monads by specifying instructions and their desired operational semantics.☆83Updated last year
- constraint level if statements☆116Updated 7 years ago
- ☆111Updated last year
- ♾️ Sized list☆46Updated last year
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Monad Transformers and Classes☆76Updated 6 years ago
- Fast binary serialization in Haskell☆110Updated 6 months ago
- Composable, streaming, and efficient left folds☆167Updated 5 months ago
- »I want Stackage on an airplane and I have only 3 minutes until takeoff«☆84Updated 6 years ago