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
- β49Updated 5 years ago
- πββοΈ Lightweight pure validation based on Applicative and Selective functorsβ67Updated 2 months ago
- Haskell Webapps on AWS Lambdaβ43Updated 2 years ago
- type level setsβ67Updated 5 years ago
- βΎοΈ Sized listβ46Updated 10 months ago
- First-class type familiesβ87Updated 6 months ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewskiβ34Updated 5 years ago
- Comparing Haskell effect systems for ergonomics and speedβ65Updated 3 years ago
- Tactic Metaprogramming in Haskellβ56Updated 5 years ago
- π Profunctor based lightweight implementation of Lensesβ71Updated last year
- Some info that supposed to help to understand PureScript from Haskell perspectiveβ32Updated 6 years ago
- Template Haskell Workshopβ52Updated 3 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskellβ50Updated 5 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programmingβ44Updated 4 years ago
- higher-kinded dataβ30Updated last year
- Example of usage polysemy and servantβ57Updated 5 years ago
- Active streaming declarative programmers. See who's online at the following URL:β67Updated last year
- β29Updated 5 years ago
- A smart A* search monad transformer which supports backtracking user-state!β81Updated 3 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions β¦β3Updated 3 years ago
- β28Updated 6 years ago
- Course for learning how to apply property-based state-machine testingβ62Updated 5 years ago
- List of Haskell streamers on Twitch, YouTube, etc.β29Updated 4 years ago
- Find your open-soulmate <π>β74Updated 3 years ago
- Fast and simple JSON encoding toolkitβ82Updated last year
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 3 years ago
- β51Updated 2 years ago
- datatypes and functions for easily working with passwords in Haskellβ57Updated 4 months ago
- Haskell embedding of PlusCalβ61Updated 2 years ago