chiroptical / thinking-with-types
Working through the Thinking with Types book in Haskell
☆35Updated 4 years ago
Alternatives and similar repositories for thinking-with-types:
Users that are interested in thinking-with-types are comparing it to the libraries listed below
- ☆40Updated 5 years ago
- ☆29Updated 5 years ago
- ☆49Updated 5 years ago
- 💝 Haskell profiles to sponsor☆48Updated 3 years ago
- First-class type families☆87Updated 7 months ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 4 years ago
- Hedgehog will eat your typeclass bugs☆56Updated this week
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated 3 months ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated this week
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- type level sets☆67Updated 5 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- A work stealing scheduler☆75Updated 2 months ago
- Zippers based on lenses and traversals☆38Updated last year
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆50Updated 5 years ago
- Example of usage polysemy and servant☆57Updated 5 years ago
- Comma (and other) separated values☆77Updated last year
- Fine-grained lattice primitives for Haskell☆36Updated last month
- 🍰🍴Template project based on the cake-slayer architecture library☆19Updated 2 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- The Software Foundations book, in GHC☆82Updated 2 months ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- higher-kinded data☆30Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Bidirectional JSON serialization☆40Updated 4 years ago