isovector / functional-design-patternsLinks
could it be?
☆18Updated 5 months ago
Alternatives and similar repositories for functional-design-patterns
Users that are interested in functional-design-patterns are comparing it to the libraries listed below
Sorting:
- Chapelure is a diagnostic library for Haskell☆46Updated 2 years ago
- A library for benign effects in Haskell☆21Updated 6 months ago
- Distributors - Unifying Parsers, Printers & Grammars☆59Updated last week
- Comparing Haskell effect systems for ergonomics and speed☆67Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- A How-To Performance Tuning Book for Haskell☆20Updated 4 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- GHC plugin for automatic case splitting☆16Updated 3 months ago
- A handy user guide for the Cabal build tool☆29Updated 4 years ago
- higher-kinded data☆30Updated 2 years ago
- GHC plugin to desugar ! into do-notation☆38Updated 9 months ago
- Session types framework with support of protocol pipelining.☆16Updated 2 weeks ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Existential type.☆37Updated 11 months ago
- Haskell library for parsing v1.0 TOML files☆16Updated 7 months ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆31Updated 10 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 9 months ago
- Functions and newtype wrappers for traversing Trees☆30Updated last year
- An experimental Haskell library for programming with effectful runners.☆30Updated 6 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- high-powered optics in a small package☆53Updated 2 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Efficient parser combinators for Haskell☆39Updated 2 weeks ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆70Updated 3 weeks ago
- Example language server (LSP) implementation for a toy language☆60Updated 4 years ago
- An interface for GHC type-checking plugins☆21Updated 2 months ago