sondresl / AdventOfCodeLinks
🎄❄️Advent of Code solutions in Haskell 🎅🎁
☆10Updated last month
Alternatives and similar repositories for AdventOfCode
Users that are interested in AdventOfCode are comparing it to the libraries listed below
Sorting:
- a challenge for Haskell beginners☆468Updated 2 years ago
- A List of Foundational Haskell Papers☆886Updated last year
- A little course to learn about some of the more obscure GHC extensions.☆658Updated 2 years ago
- papers of Per Martin Löf☆809Updated 2 years ago
- Haskell implemented with combinators☆684Updated last week
- Code challenges to solve with Haskell☆185Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Updated 2 years ago
- An introduction to programming language theory in Agda☆1,486Updated last week
- An introductory course to Homotopy Type Theory☆375Updated 5 years ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆450Updated 2 weeks ago
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆434Updated 3 years ago
- Minimal implementations for dependent type checking and elaboration☆762Updated last week
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,111Updated 3 months ago
- Miscellaneous articles. The readme is the table of contents.☆1,306Updated 2 years ago
- Proving leftpad correct two-dozen different ways☆715Updated 9 months ago
- An opinionated list of resources for learning Haskell☆934Updated 3 years ago
- Resource gathering + programming game☆902Updated last week
- A prompt engineering functional programming language☆512Updated this week
- A gently curated list of companies using Haskell in industry☆982Updated 3 months ago
- How I start Haskell.☆100Updated 7 months ago
- Repositorio de la optativa para la FCEIA☆14Updated 10 months ago
- I'm trying to update the Real World Haskell book☆798Updated 2 years ago
- Demo for high-performance type theory elaboration☆579Updated this week
- higher-order, no-boilerplate monads☆1,076Updated 10 months ago
- Domain-Specific Languages of Mathematics☆446Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆699Updated 3 weeks ago
- Advent of Code complete solution archive and common library☆48Updated last month
- Very low feature GHCi based IDE☆1,176Updated last year
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆733Updated last week
- My slides and compilation of resources.☆159Updated last year