coot / free-algebras
Free Algebras in Haskell
☆36Updated 3 weeks ago
Related projects: ⓘ
- Recursion schemes for Idris☆64Updated 6 years ago
- ☆23Updated 9 years ago
- Simple adjunctions☆44Updated 11 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- Haskell library for semigroup actions and torsors☆57Updated 7 months ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 9 months ago
- ☆39Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- Haskell 98 Profunctors☆70Updated 2 months ago
- higher-kinded data☆30Updated last year
- A typed, persistent store for values of arbitrary types☆60Updated 2 weeks ago
- Yet another yet another recursion scheme library in Haskell.☆86Updated 3 weeks ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 7 years ago
- ☆28Updated 6 years ago
- Optics via the profunctor representation theorem☆23Updated 2 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 7 years ago
- Provides a type-safe way of working with permutations in Idris☆33Updated 2 years ago
- A small profunctor library for idris☆16Updated last year
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Type-safe time units in Haskell☆49Updated 8 months ago
- Functions and newtype wrappers for traversing Trees☆29Updated last week
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 2 years ago