glguy / advent2019
Advent of Code 2019 solutions
☆43Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for advent2019
- Advent of Code 2019 Solutions (Spoilers!)☆65Updated this week
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 2 years ago
- 🏷 Web application to help beginners to start contributing into Haskell projects☆59Updated 4 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- A Haskell library for open records and variants using closed type families and type literals☆111Updated 2 years ago
- Show Haskell type annotations when doing code review on Github☆142Updated 3 years ago
- Advent of Code 2017 solutions☆27Updated 3 years ago
- ☆47Updated 5 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- ☆73Updated this week
- ☆51Updated 2 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆33Updated 3 years ago
- datatypes and functions for easily working with passwords in Haskell☆55Updated last week
- Haskell Webapps on AWS Lambda☆44Updated last year
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆74Updated last year
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 4 years ago
- Advent of Code 2018 Solutions☆37Updated 5 years ago
- type level sets☆67Updated 5 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated 9 months ago
- Finished Book of Monads by Alejandro Serrano-Mena☆26Updated 4 years ago
- ️🌈 Convenient interface for printing colourful messages☆66Updated last month
- Free ideas, worth every penny☆32Updated 4 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Type-safe error handling☆64Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Moved to https://github.com/haskell-webgear/webgear☆38Updated 3 years ago