Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
☆44Aug 1, 2020Updated 5 years ago
Alternatives and similar repositories for gp-zurihac-2020
Users that are interested in gp-zurihac-2020 are comparing it to the libraries listed below
Sorting:
- Argonaut codecs for aeson generic encoding☆12Dec 24, 2022Updated 3 years ago
- Algorithmically solve Slay the Spire☆19Oct 7, 2022Updated 3 years ago
- ☆21Dec 8, 2022Updated 3 years ago
- Applicative maps☆16Sep 29, 2024Updated last year
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 5 months ago
- Taking yet another run at this problem - usable DSL with maximum expressivity is the goal.☆14Mar 20, 2021Updated 5 years ago
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 2 years ago
- Search Hoogle from Rofi☆27Apr 3, 2024Updated last year
- Literally the best anonymous records☆36Mar 13, 2023Updated 3 years ago
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 2 months ago
- ZuriHac 2020 GHC typechecker plugins project☆19Aug 15, 2021Updated 4 years ago
- First Class Record Fields in Haskell☆17Jan 8, 2026Updated 2 months ago
- Grocery shopping roguelike developed for the 7drl game jam☆24Mar 9, 2020Updated 6 years ago
- ☆11Jun 19, 2021Updated 4 years ago
- A guided workshop through implementing the realworld demo app in obelisk.☆14Mar 25, 2020Updated 5 years ago
- Scrap your hand-rolled aeson instances☆114Nov 23, 2024Updated last year
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- Haskell implementation of W3C Webdriver Protocol (wip) https://w3c.github.io/webdriver/☆19Feb 23, 2020Updated 6 years ago
- Exploring the options for incremental Haskell builds using Nix☆109Nov 28, 2022Updated 3 years ago
- An example application for sdl2.☆25Feb 19, 2022Updated 4 years ago
- self(auto)- documenting encoders and decoders☆130Dec 2, 2025Updated 3 months ago
- ☆15Mar 29, 2023Updated 2 years ago
- Example project of DevContainer environment for VSCode with working Stack, nix, HIE and debugger☆14Feb 24, 2020Updated 6 years ago
- Automatic re-connection support for PostgreSQL.☆15Aug 12, 2021Updated 4 years ago
- Generic Programming using True Sums of Products☆163Jan 7, 2026Updated 2 months ago
- Course for learning how to apply property-based state-machine testing☆62Sep 13, 2019Updated 6 years ago
- Pretty printer of Scala☆20Oct 21, 2020Updated 5 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆558May 5, 2023Updated 2 years ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated 2 months ago
- A GitHub action for publishing packages on Hackage☆33Jan 8, 2024Updated 2 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- ☆107Mar 4, 2026Updated 2 weeks ago
- Memory-efficient representation of Unicode text strings☆22Jan 4, 2026Updated 2 months ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Reasonable Haskell default import☆27Mar 13, 2026Updated last week
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Mar 15, 2026Updated last week
- Hashing with SL2 for Haskell☆20Nov 29, 2019Updated 6 years ago
- So, you want to write a DSL interpreter...☆25Nov 20, 2018Updated 7 years ago