glguy / advent2019
Advent of Code 2019 solutions
☆43Updated 3 years ago
Related projects: ⓘ
- Advent of Code 2019 Solutions (Spoilers!)☆65Updated 2 years ago
- ☆47Updated 4 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 10 months ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- Advent of Code 2020 Haskell Solutions☆16Updated 3 years ago
- Advent of Code 2018 Solutions (Spoilers!)☆83Updated 2 years ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- A higher-order effect system where the sky's the limit☆90Updated 2 years ago
- Advent of Code 2018 Solutions☆37Updated 4 years ago
- 🏷 Web application to help beginners to start contributing into Haskell projects☆59Updated 3 years ago
- Solutions to Advent of Code 2019☆50Updated 4 years ago
- Sonic the Hedgehog 2 in Haskell☆68Updated 2 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago
- Haskell embedding of PlusCal☆59Updated 2 years ago
- ☆50Updated 2 years ago
- Show Haskell type annotations when doing code review on Github☆142Updated 3 years ago
- 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
- ☆40Updated 5 years ago
- A collection of Haskell's WATs☆89Updated 9 months ago
- Working through the Thinking with Types book in Haskell☆34Updated 4 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆31Updated 3 years ago
- New formatting library☆55Updated 2 years ago
- Comonads By Example Conference talk☆89Updated 5 years ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- Reimplementation of Parsley in Haskell, with improvements☆49Updated 6 months ago
- They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005☆82Updated 3 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- type level sets☆67Updated 4 years ago