Risto-Stevcev / haskell-church-encodings
Church encodings written in Haskell
☆25Updated 5 years ago
Alternatives and similar repositories for haskell-church-encodings
Users that are interested in haskell-church-encodings are comparing it to the libraries listed below
Sorting:
- Text and Haskell source for my blog series on recursion schemes.☆45Updated 2 years ago
- Haskell 98 contravariant functors☆73Updated 6 months ago
- The Software Foundations book, in GHC☆82Updated 4 months ago
- Write yourself a typed functional language☆65Updated 6 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Generic Programming using True Sums of Products☆163Updated 4 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- Difference lists in Haskell☆65Updated 10 months ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 3 years ago
- ☆40Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- compile your own functional language☆36Updated 6 years ago
- A language parsing quasiquoter for Haskell based heavily on ANTLR4.☆52Updated 4 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 2 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Conway's game of life in 100 lines or less!☆35Updated 7 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 11 months ago
- Lightweight package providing commonly useful parser combinators☆54Updated 3 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated last month
- Transactional key-value store written entirely in Haskell☆93Updated 4 years ago
- First-class type families☆87Updated 3 weeks ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated this week
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 2 months ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- TParsec - Total Parser Combinators in Idris☆93Updated last year
- ☆111Updated last year
- Named parameters (keyword arguments) for Haskell☆94Updated 2 months ago