sondresl / AdventOfCode
All my solutions to advent of code
☆10Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for AdventOfCode
- A little course to learn about some of the more obscure GHC extensions.☆638Updated last year
- En liten samling editorshortcuts som jeg hvert fall skulle ønske jeg begynte å bruke tidligere 🤠☆10Updated 2 years ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆700Updated last month
- Industrial-strength monadic parser combinator library☆919Updated this week
- Very low feature GHCi based IDE☆1,134Updated 8 months ago
- haskell source code formatter☆692Updated 2 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 3 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆626Updated last year
- 🕵️ Haskell STatic ANalyser☆571Updated last month
- A List of Foundational Haskell Papers☆864Updated 2 weeks ago
- A formatter for Haskell source code☆964Updated 2 weeks ago
- Release with confidence, state-of-the-art property testing for Haskell.☆677Updated 2 months ago
- higher-order, no-boilerplate monads☆1,037Updated 3 weeks ago
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆412Updated 2 years ago
- Domain-Specific Languages of Mathematics☆420Updated last week
- Modern and extensible testing framework for Haskell☆640Updated 2 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆592Updated last month
- Miscellaneous articles. The readme is the table of contents.☆1,251Updated last year
- My slides and compilation of resources.☆148Updated 2 months ago
- Auto generate a stack or cabal multi component hie.yaml file☆204Updated 9 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆382Updated this week
- Proposed compiler and language changes for GHC and GHC/Haskell☆685Updated this week
- Efficient Haskell Arrays featuring Parallel computation☆385Updated 2 months ago
- A standard library for Haskell☆843Updated 3 months ago
- The Haskell performance checklist☆374Updated 4 years ago
- Code challenges to solve with Haskell☆89Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆287Updated 9 months ago
- Liquid Types For Haskell☆1,197Updated this week
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- The Monad Transformer Library☆367Updated 3 months ago