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:
- Advent of Code 2019 Solutions (Spoilers!)β66Updated last year
- π· Web application to help beginners to start contributing into Haskell projectsβ60Updated 5 years ago
- Comonads By Example Conference talkβ89Updated 6 years ago
- Advent of Code 2018 Solutions (Spoilers!)β83Updated last year
- A smart A* search monad transformer which supports backtracking user-state!β81Updated 4 years ago
- A work stealing schedulerβ79Updated 11 months ago
- Yet another yet another recursion scheme library in Haskell.β89Updated 3 weeks ago
- A higher-order effect system where the sky's the limitβ91Updated 3 years ago
- type level setsβ67Updated 6 years ago
- βΎοΈ Sized listβ47Updated last year
- A Haskell library for open records and variants using closed type families and type literalsβ112Updated 3 years ago
- Haskell ODBC binding with SQL Server supportβ45Updated last year
- π πβοΈβοΈππβ99Updated last year
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskellβ48Updated 3 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 4 years ago
- A tutorial on writing Haskell Language Server pluginsβ70Updated 5 years ago
- Generic Programming using True Sums of Productsβ164Updated 4 months ago
- Haskell embedding of PlusCalβ62Updated 3 years ago
- refine properties for testing Haskell programsβ76Updated 10 months ago
- New formatting libraryβ58Updated 3 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005β83Updated 4 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)β66Updated last month
- Tasty meal of Dhallβ67Updated 2 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.β118Updated 6 months ago
- Bidirectional JSON serializationβ40Updated 4 years ago
- Generic random generatorsβ81Updated 2 years ago
- RPG languages learning toolβ38Updated 6 years ago
- sudoku solver in haskellβ41Updated 4 years ago
- Sonic the Hedgehog 2 in Haskellβ67Updated 3 years ago
- Text lenses using PCRE regexesβ128Updated last year