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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Taking yet another run at this problem - usable DSL with maximum expressivity is the goal.☆15Mar 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 2 years ago
- Literally the best anonymous records☆36Mar 13, 2023Updated 3 years ago
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 5 months ago
- ZuriHac 2020 GHC typechecker plugins project☆19Aug 15, 2021Updated 4 years ago
- First Class Record Fields in Haskell☆18Jan 8, 2026Updated 5 months ago
- Grocery shopping roguelike developed for the 7drl game jam☆24Mar 9, 2020Updated 6 years ago
- ☆11Jun 19, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A guided workshop through implementing the realworld demo app in obelisk.☆14Mar 25, 2020Updated 6 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☆133Jun 1, 2026Updated last week
- ☆15Mar 29, 2023Updated 3 years ago
- Example project of DevContainer environment for VSCode with working Stack, nix, HIE and debugger☆14Feb 24, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Automatic re-connection support for PostgreSQL.☆15Aug 12, 2021Updated 4 years ago
- Generic Programming using True Sums of Products☆164Jan 7, 2026Updated 5 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 🚧☆559May 5, 2023Updated 3 years ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated 5 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☆18May 10, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆109Jun 1, 2026Updated last week
- Memory-efficient representation of Unicode text strings☆22Jan 4, 2026Updated 5 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 2 months ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆44Updated this 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