sondresl / AdventOfCodeLinks
πβοΈAdvent of Code solutions in Haskell π
π
β10Updated 6 months ago
Alternatives and similar repositories for AdventOfCode
Users that are interested in AdventOfCode are comparing it to the libraries listed below
Sorting:
- Code challenges to solve with Haskellβ156Updated 2 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.β424Updated this week
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspectsβ424Updated 2 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryβ374Updated last week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningβ618Updated last month
- A little course to learn about some of the more obscure GHC extensions.β650Updated last year
- Haskell implemented with combinatorsβ520Updated this week
- How I start Haskell.β100Updated 8 months ago
- β220Updated 2 months ago
- π΅οΈ Haskell STatic ANalyserβ584Updated last month
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekarβ301Updated last year
- β254Updated last month
- Minimal implementations for dependent type checking and elaborationβ678Updated 3 weeks ago
- π Safe, performant, user-friendly and lightweight Haskell standard libraryβ715Updated last month
- Very low feature GHCi based IDEβ1,160Updated last year
- a challenge for Haskell beginnersβ457Updated last year
- Advent of Code complete solution archive and common libraryβ45Updated 5 months ago
- En liten samling editorshortcuts som jeg hvert fall skulle ΓΈnske jeg begynte Γ₯ bruke tidligere π€β11Updated 2 years ago
- Haskell library for the Microsoft Language Server Protocolβ390Updated 2 weeks ago
- A List of Foundational Haskell Papersβ873Updated 7 months ago
- HoTTEST Summer School materialsβ300Updated 3 weeks ago
- The Dao of Functional Programmingβ462Updated 2 weeks ago
- Haskell Tiny Game Jamβ165Updated last year
- My slides and compilation of resources.β153Updated 9 months ago
- A ready-to-fork interpreted functional language with type inferenceβ409Updated last week
- higher-order, no-boilerplate monadsβ1,055Updated 3 months ago
- Algebraic graphsβ739Updated last month
- The agda-unimath libraryβ257Updated this week
- π Haskell CLI Framework supporting Command Line Interface Guidelinesβ190Updated last year
- Modern and extensible testing framework for Haskellβ651Updated last week