kowainik / trial
⚖️ Trial Data Type
☆20Updated last month
Alternatives and similar repositories for trial:
Users that are interested in trial are comparing it to the libraries listed below
- Dependently-typed finite maps (partial dependent products)☆65Updated last week
- Clean up the formatting of 'show' output☆21Updated 6 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- Existential type.☆36Updated last month
- open union and open product types in Haskell☆32Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 6 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Safe web routing in haskell☆30Updated last year
- Keep your laziness in check!☆32Updated 2 years ago
- Deep evaluation of data structures☆41Updated 5 months ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated last month
- A monad, perhaps.☆32Updated 5 years ago
- ☆18Updated 3 years ago
- A usable type system for call by push-value☆30Updated 5 years ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated 10 months ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 2 years ago
- Dual Traversable☆42Updated last year
- Interpreter for GHC Haskell☆22Updated 5 years ago
- RFC 4648-compliant Base64☆34Updated 5 months ago
- ☆49Updated last month
- ☆28Updated 3 weeks ago
- Nat, Fin, Vec☆24Updated 3 months ago
- Library and utility for processing cabal's plan.json file☆39Updated last month
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago