slindley / dependent-haskell
☆34Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for dependent-haskell
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- join and meet semilattices, lower and upper bounds.☆43Updated last month
- ☆23Updated 9 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Get all your structure and rip it apart.☆30Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- Free Algebras in Haskell☆37Updated 2 months ago
- Provides free functors that are adjoint to functors that forget class constraints.☆27Updated 2 months ago
- Wailing into the primordial ooze of category theory☆54Updated last week
- Recursion schemes for Idris☆64Updated 6 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Easy bidirectional serialization in Haskell☆50Updated 5 years ago
- Type-safe time units in Haskell☆49Updated 10 months ago
- ☆28Updated 6 years ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- ☆18Updated 3 years ago
- ☆23Updated 7 years ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated this week
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Dual Traversable☆41Updated last year
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 6 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 6 months ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- There are many category theory implementations, but this one is mine☆14Updated 3 months ago
- Lambda calculus at the type level.☆20Updated 7 years ago