mroman42 / vitrea-prototype-1
[WIP] Optics via the profunctor representation theorem
☆19Updated 5 years ago
Alternatives and similar repositories for vitrea-prototype-1:
Users that are interested in vitrea-prototype-1 are comparing it to the libraries listed below
- Haskell library for doing category theory with a central role for profunctors☆21Updated 3 weeks ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 3 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Category theory concepts in type classes and instances.☆22Updated last month
- There are many category theory implementations, but this one is mine☆16Updated 8 months ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- Automatic type class law checking.☆24Updated 3 months ago
- Zippers based on lenses and traversals☆39Updated last year
- higher-kinded data☆30Updated last year
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Optics via the profunctor representation theorem☆24Updated 4 months ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Extensible type-safe unions for Haskell☆33Updated last month
- Simple adjunctions☆45Updated last month
- Where my everyday research happens☆52Updated last week
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- Category theory formalized in cubical agda☆20Updated 5 years ago
- rewrite rules for type-level equalities☆62Updated last year
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated last month
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 weeks ago
- Fine-grained lattice primitives for Haskell☆37Updated 2 months ago
- Generic functions for single-sorted first-order structural unification☆43Updated 3 weeks ago
- Sort any Traversable container☆41Updated 2 years ago
- Normalise GHC.TypeLits.Nat equations☆43Updated last month
- Maps using values' monoidal structure during merging☆42Updated 3 weeks ago