jmoy / alexhappy
Examples for the book “Alex and Happy”
☆34Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for alexhappy
- Recursion schemes for Idris☆64Updated 6 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 10 months ago
- ☆23Updated 7 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Dual Traversable☆41Updated last year
- ☆41Updated 7 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- ☆39Updated 4 years ago
- Comma (and other) separated values☆77Updated last year
- Some useful control operators for looping☆47Updated 4 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Tools for programming with ConstraintKinds in GHC☆71Updated 3 weeks ago
- Support for file uploads in multipart/form-data for servant☆40Updated 5 months ago
- Invertible parsing for S-expressions☆33Updated last month
- A monad for managed values☆50Updated last year
- ☆67Updated 8 months ago
- An extension to Data.Serialize with built-in version control☆60Updated 5 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- List monad transformer☆60Updated 5 months ago
- Transactional cache with configurable persistence☆48Updated last year