evertedsphere / silica
optics for Haskell with the most amazing type errors you've seen
☆243Updated 4 years ago
Related projects: ⓘ
- Extensional capabilities and deriving combinators☆214Updated 2 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Test monadic programs using state machine based models☆203Updated 3 years ago
- Validity and validity-based testing☆156Updated this week
- High performance type safe html generation☆125Updated 2 years ago
- Composable, streaming, and efficient left folds☆158Updated 3 weeks ago
- Prelude written in @Serokell☆176Updated 5 months ago
- Refinement types with static checking☆182Updated 3 weeks ago
- Text lenses using PCRE regexes☆126Updated 3 years ago
- Higher-kinded data via generics☆170Updated 3 weeks ago
- A friendly effect system for Haskell☆226Updated 4 months ago
- 📚 A softer alternative to Haddock☆104Updated 4 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆202Updated 4 months ago
- Server-side VDOM UI framework for Concur☆139Updated 3 years ago
- Aligning characters for fun and profit, with Haskell and PureScript☆76Updated 6 years ago
- Inspection Testing for Haskell☆172Updated 2 months ago
- A nix-based Haskell project manager☆161Updated 3 years ago
- Auto-generate a command-line parser for your datatype☆208Updated 7 months ago
- Visualiser for Haskell (GHC) prof files☆192Updated 10 months ago
- Haskell library for debugging☆122Updated 5 years ago
- Course material for lens☆231Updated 5 years ago
- A modern, extensible and well-documented prettyprinter.☆293Updated 4 months ago
- GRIN backend for GHC☆143Updated 2 years ago
- Test project☆5Updated last year
- A lightweight (but compatible with ‘lens’) lenses library☆286Updated 5 months ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆135Updated 4 years ago
- ☆160Updated 2 years ago
- Environmentally friendly environment variables☆150Updated 5 months ago
- Use snippets of Rust inline in your Haskell programs☆223Updated 3 years ago
- A language experiment -- irc.freenode.net ##coda☆162Updated 5 months ago