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:
- Zippers based on lenses and traversals☆40Updated last year
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Open records for Haskell☆22Updated 7 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Where my everyday research happens☆53Updated 2 weeks ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Dual Traversable☆42Updated 2 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 11 months ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last month
- ☆40Updated 5 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- ☆41Updated 7 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Comma (and other) separated values☆78Updated last year
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Reification of data structures using observable sharing☆29Updated 8 months ago
- An implementation of miniKanren in Haskell☆78Updated 12 years ago