slindley / dependent-haskellLinks
☆35Updated 11 years ago
Alternatives and similar repositories for dependent-haskell
Users that are interested in dependent-haskell are comparing it to the libraries listed below
Sorting:
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated this week
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Wailing into the primordial ooze of category theory☆55Updated 2 weeks ago
- Type-safe time units in Haskell☆49Updated 4 months ago
- IO using sized types and copatterns☆35Updated 4 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 3 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- join and meet semilattices, lower and upper bounds.☆43Updated 8 months ago
- ☆18Updated 4 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Category theory concepts in type classes and instances.☆22Updated 2 weeks ago
- ☆40Updated 5 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 5 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Get all your structure and rip it apart.☆32Updated 6 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆35Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- System F-omega normalization by hereditary substitution in Agda☆59Updated 5 years ago
- Constraint-based generics☆49Updated last year
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- HoTT Note-taking action☆25Updated 6 years ago