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 6 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Zippers based on lenses and traversals☆40Updated last year
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Open records for Haskell☆22Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Where my everyday research happens☆53Updated this week
- ☆23Updated 7 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- List monad transformer☆60Updated last year
- Kleene algebra, regular expressions☆32Updated last year
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- ☆41Updated 7 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 3 months ago
- Dual Traversable☆42Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- ☆30Updated 7 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- higher-kinded data☆30Updated 2 years ago
- A monad for managed values☆50Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- being the programs and code for a paper about general recursion