sellout / haskerwaul
Category theory concepts in type classes and instances.
☆22Updated last month
Alternatives and similar repositories for haskerwaul:
Users that are interested in haskerwaul are comparing it to the libraries listed below
- A monadic interface for DAG construction.☆24Updated 4 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- Overloaded plugin☆30Updated 10 months ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- ☆18Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Experiments with linear types☆14Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Category theory formalized in cubical agda☆20Updated 5 years ago
- There are many category theory implementations, but this one is mine☆16Updated 8 months ago
- Free categories, free arrows and free categories with monadic actions☆24Updated 2 months ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- semirings and *-semirings of types in base/haskell-platform☆42Updated 11 months ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆18Updated 3 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 9 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Clowns to the left of me, jokers to the right☆15Updated 5 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Session Types with Priority in Linear Haskell☆26Updated 11 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Omit fields for instance deriving☆37Updated 4 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago