glguy / advent2019Links
Advent of Code 2019 solutions
β43Updated 4 years ago
Alternatives and similar repositories for advent2019
Users that are interested in advent2019 are comparing it to the libraries listed below
Sorting:
- π· Web application to help beginners to start contributing into Haskell projectsβ60Updated 5 years ago
- βΎοΈ Sized listβ47Updated last year
- Comonads By Example Conference talkβ89Updated 6 years ago
- π πβοΈβοΈππβ99Updated last year
- Advent of Code 2019 Solutions (Spoilers!)β66Updated last year
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 4 years ago
- β80Updated 6 years ago
- A collection of Haskell's WATsβ94Updated 11 months ago
- Standard containers, with keys that carry type-level proofs of their own presence.β81Updated 5 years ago
- type level setsβ67Updated 6 years ago
- π Profunctor based lightweight implementation of Lensesβ71Updated 2 years ago
- A work stealing schedulerβ79Updated 11 months ago
- Yet another yet another recursion scheme library in Haskell.β89Updated last month
- A higher-order effect system where the sky's the limitβ91Updated 3 years ago
- Active streaming declarative programmers. See who's online at the following URL:β67Updated 6 months ago
- A smart A* search monad transformer which supports backtracking user-state!β81Updated 4 years ago
- A tutorial on writing Haskell Language Server pluginsβ70Updated 5 years ago
- A multiplayer web real-time implementation of the famous Tic Tac Toe game in Haskell.β63Updated 2 years ago
- Fast and simple JSON encoding toolkitβ84Updated 2 years ago
- A Haskell library for open records and variants using closed type families and type literalsβ112Updated 3 years ago
- being the scrapings of my stackoverflow answersβ48Updated 6 years ago
- You've heard of the SKI combinators... How about the πππ combinators?β35Updated 4 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programmingβ44Updated 5 years ago
- tools for writing better type errorsβ73Updated 2 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskellβ48Updated 3 years ago
- Generic Programming using True Sums of Productsβ164Updated 5 months ago
- New formatting libraryβ58Updated 3 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.β118Updated 6 months ago
- Moved to https://github.com/haskell-webgear/webgearβ38Updated 4 years ago
- Haskell embedding of PlusCalβ62Updated 3 years ago