MondayMorningHaskell / AdventOfCode
☆15Updated last year
Alternatives and similar repositories for AdventOfCode:
Users that are interested in AdventOfCode are comparing it to the libraries listed below
- Frost☆19Updated 4 years ago
- ☆49Updated 5 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 4 years ago
- Example of usage polysemy and servant☆57Updated 5 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- Template Haskell Workshop☆52Updated 3 years ago
- GitHub Action to build, test, and lint Stack-based Haskell projects☆22Updated this week
- Source material for Certainty by Construction☆41Updated last year
- ☆41Updated 5 years ago
- Explore haskell and functional programming concepts☆20Updated 6 years ago
- Effects libraries in Haskell☆71Updated last year
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- ☆51Updated 2 years ago
- Zippers based on lenses and traversals☆39Updated last year
- 🎯 IO with Exceptions tracked on the type-level☆58Updated 4 years ago
- ♾️ Sized list☆46Updated 11 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 3 months ago
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆41Updated 5 years ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 3 years ago
- A work stealing scheduler☆75Updated 3 months ago
- 💝 Haskell profiles to sponsor☆48Updated 3 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆129Updated this week
- Source for personal blog.☆77Updated 3 weeks ago