chiroptical / optics-by-example
Working through https://leanpub.com/optics-by-example by Chris Penner
☆9Updated 3 years ago
Alternatives and similar repositories for optics-by-example:
Users that are interested in optics-by-example are comparing it to the libraries listed below
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- ☆28Updated 6 years ago
- Getting more out of your transformers with classy optics. Slides from my BFPG talk on 2015-06-09☆31Updated 9 years ago
- ☆40Updated 5 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 2 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆26Updated 4 years ago
- Pre-processor for .hsc files☆40Updated 3 weeks ago
- Hedgehog will eat your typeclass bugs☆56Updated 5 months ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- Simple adjunctions☆44Updated last year
- ☆29Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Quickcheck Properties for common typeclasses☆35Updated 9 months ago
- Haskell library for semigroup actions and torsors☆60Updated 2 weeks ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Functions and newtype wrappers for traversing Trees☆30Updated 5 months ago
- There are many category theory implementations, but this one is mine☆15Updated 5 months ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Dual Traversable☆42Updated last year
- Explore haskell and functional programming concepts☆20Updated 6 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated 3 weeks ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Safe web routing in haskell☆30Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago