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
- ☆41Updated 5 years ago
- ☆49Updated 5 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- type level sets☆67Updated 5 years ago
- ☆28Updated 6 years ago
- First-class type families☆87Updated 7 months ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 3 weeks ago
- ☆51Updated 2 years ago
- Safe web routing in haskell☆30Updated last year
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Example of usage polysemy and servant☆57Updated 5 years ago
- Zippers based on lenses and traversals☆39Updated last year
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- ☆38Updated 7 years ago
- ☆29Updated 5 years ago
- 💝 Haskell profiles to sponsor☆48Updated 3 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago
- ☆40Updated 5 years ago
- Bidirectional JSON serialization☆40Updated 4 years ago
- ♾️ Sized list☆46Updated 11 months ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Source material for Certainty by Construction☆41Updated last year
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated 3 months ago
- Fine-grained lattice primitives for Haskell☆37Updated 2 months ago
- Haskell ODBC binding with SQL Server support☆45Updated last year
- Haskell + Azure DevOps Demo☆30Updated 4 years ago