VictorCMiraldo / lw2019-generics-workshopLinks
Contains exercises for the workshop in generic programming at Lambda World 2019
β10Updated 6 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
Sorting:
- π°π΄Template project based on the cake-slayer architecture libraryβ19Updated 2 years ago
- Haskell Webapps on AWS Lambdaβ44Updated 2 years ago
- checkers for algebra driven designβ34Updated 3 years ago
- type level setsβ67Updated 6 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoringβ27Updated 4 years ago
- β24Updated 5 years ago
- Build AWS Lambda's with Haskellβ11Updated 3 years ago
- Refined typesβ57Updated 7 years ago
- β13Updated 5 years ago
- Automation of Haskell package release process.β31Updated 2 years ago
- Lens interface for your filesystemβ22Updated 4 years ago
- Reasonable Haskell default importβ27Updated 3 years ago
- β36Updated 4 years ago
- Comment on Haskell documentation.β13Updated 6 years ago
- higher-kinded dataβ30Updated 2 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.β33Updated 5 years ago
- A convenient DSL for describing web routesβ42Updated 5 years ago
- Generate a cabal freeze file from a stack.yamlβ36Updated 7 years ago
- Verified left padβ19Updated 7 years ago
- Beseder: make impossible state transitions impossibleβ31Updated 5 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.β22Updated 7 years ago
- Kleene algebra, regular expressionsβ33Updated 2 years ago
- Lensy interface for parsing CSV'sβ43Updated 5 years ago
- rewrite rules for type-level equalitiesβ62Updated 2 months ago
- ghc and cabal completion for zsh shellβ19Updated 8 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.β29Updated 2 months ago
- Generate realistic looking fake dataβ47Updated 4 years ago
- Color highlighting for Haskell profiling informationβ40Updated 4 years ago
- a modern library for typed path manipulation in Haskellβ36Updated 4 months ago
- β67Updated 4 months ago