VictorCMiraldo / lw2019-generics-workshop
Contains exercises for the workshop in generic programming at Lambda World 2019
☆10Updated 5 years ago
Alternatives and similar repositories for lw2019-generics-workshop:
Users that are interested in lw2019-generics-workshop are comparing it to the libraries listed below
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- ☆13Updated 4 years ago
- ☆34Updated 3 years ago
- rewrite rules for type-level equalities☆62Updated 11 months ago
- A Generic implementation of data-has.☆22Updated 4 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Automation of Haskell package release process.☆31Updated last year
- Implementation of named parameters for `postgresql-simple` library☆38Updated 5 months ago
- Logging library to provide more convenient, extremely configurable but simple monadic interface with pretty output☆19Updated 5 years ago
- Comment on Haskell documentation.☆13Updated 6 years ago
- There are many category theory implementations, but this one is mine☆15Updated 7 months ago
- Slides and projects for LambdaConf 2018 Workshop☆16Updated 6 years ago
- Override instances used by Haskell's generic derivation☆30Updated 2 years ago
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆28Updated 3 years ago
- type level sets☆67Updated 5 years ago
- 🌳 a monadic FRP game library for haskell☆25Updated 4 years ago
- Automatic type class law checking.☆24Updated 2 months ago
- Kleene algebra, regular expressions☆32Updated last year
- Maps using values' monoidal structure during merging☆42Updated 4 months ago
- Safe web routing in haskell☆30Updated last year
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated 3 months ago
- higher-kinded data☆30Updated last year
- 🍰🍴Template project based on the cake-slayer architecture library☆19Updated 2 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Updated 6 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 2 months ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 4 months ago