ekmett / multicategories
Playing around with multicategories and operads
☆16Updated 9 years ago
Alternatives and similar repositories for multicategories
Users that are interested in multicategories are comparing it to the libraries listed below
Sorting:
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 3 weeks ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 8 months ago
- ☆39Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated last month
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- ☆17Updated 2 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 3 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Sort any Traversable container☆41Updated 2 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Updated 8 years ago
- Category theory and algebra☆28Updated 8 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- ☆20Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Automatic type class law checking.☆24Updated 3 months ago
- Haskell Type Level Example Programs☆29Updated 7 years ago
- Zippers based on lenses and traversals☆40Updated last year
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 9 years ago