well-typed / gp-zurihac-2020View external linksLinks
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:
- ☆21Dec 8, 2022Updated 3 years ago
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 2 years ago
- Applicative maps☆16Sep 29, 2024Updated last year
- Argonaut codecs for aeson generic encoding☆12Dec 24, 2022Updated 3 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 4 months ago
- Algorithmically solve Slay the Spire☆19Oct 7, 2022Updated 3 years ago
- First Class Record Fields in Haskell☆17Jan 8, 2026Updated last month
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated last month
- Search Hoogle from Rofi☆27Apr 3, 2024Updated last year
- Haskell implementation of W3C Webdriver Protocol (wip) https://w3c.github.io/webdriver/☆19Feb 23, 2020Updated 5 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- Literally the best anonymous records☆36Mar 13, 2023Updated 2 years ago
- Scrap your hand-rolled aeson instances☆114Nov 23, 2024Updated last year
- A JSON schema language☆28Apr 15, 2025Updated 10 months ago
- A collection of Notes on GHC☆71Apr 14, 2019Updated 6 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated this week
- Course for learning how to apply property-based state-machine testing☆62Sep 13, 2019Updated 6 years ago
- Generic Programming using True Sums of Products☆164Jan 7, 2026Updated last month
- An example application for sdl2.☆25Feb 19, 2022Updated 3 years ago
- haskell source code visualizer☆100Updated this week
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 5 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- Typeclass for array types☆19Apr 7, 2025Updated 10 months ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Batteries-included structured logging library☆31Dec 15, 2025Updated 2 months ago
- So, you want to write a DSL interpreter...☆25Nov 20, 2018Updated 7 years ago
- Haskell program configuration using higher kinded data☆29May 21, 2024Updated last year
- Exploring the options for incremental Haskell builds using Nix☆109Nov 28, 2022Updated 3 years ago
- Grocery shopping roguelike developed for the 7drl game jam☆24Mar 9, 2020Updated 5 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆558May 5, 2023Updated 2 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError☆15Jul 19, 2025Updated 6 months ago
- Lenses and Traversals for Aeson, based on Microlens.☆15Dec 12, 2025Updated 2 months ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year
- Memory-efficient representation of Unicode text strings☆22Jan 4, 2026Updated last month
- ☆11Jun 19, 2021Updated 4 years ago
- Damian Nadales's sandbox☆12Jun 15, 2023Updated 2 years ago
- ☆15Mar 29, 2023Updated 2 years ago