jmoy / alexhappyLinks
Examples for the book “Alex and Happy”
☆34Updated 10 years ago
Alternatives and similar repositories for alexhappy
Users that are interested in alexhappy are comparing it to the libraries listed below
Sorting:
- Recursion schemes for Idris☆64Updated 7 years ago
- Elaborate and expressive S-Expression library for Haskell☆63Updated last year
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- compile your own functional language☆36Updated 6 years ago
- Source for personal blog.☆78Updated 3 weeks ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆106Updated 4 months ago
- ♾️ Sized list☆46Updated last year
- Zippers based on lenses and traversals☆40Updated 2 years ago
- Open records for Haskell☆22Updated 7 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆80Updated 3 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 7 months ago
- Tools for building 3D interactive programs in Haskell☆73Updated last week
- Type provider library for Idris☆94Updated 7 years ago
- Dual Traversable☆42Updated 2 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- List monad transformer☆60Updated last year
- Tools for programming with ConstraintKinds in GHC☆72Updated 11 months ago
- Evaluate special comments in your program on file save.☆39Updated 4 years ago
- A magic typeclass that just does it☆124Updated 3 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- ☆41Updated 8 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Agda-style equational reasoning in Haskell☆54Updated 5 months ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- An implementation of miniKanren in Haskell☆78Updated 12 years ago