Alternatives and similar repositories for advent-of-code

Users that are interested in advent-of-code are comparing it to the libraries listed below

• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆132Updated 2 years ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated 2 years ago
• effectfully-ou / sketches
  A Haskell blog
  ☆148Updated last month
• tomjaguarpaw / bluefin
  ☆122Updated last week
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated last month
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆97Updated 2 weeks ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 10 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆39Updated 7 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆44Updated last year
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 11 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆81Updated last week
• haskell / error-messages
  ☆75Updated 3 years ago
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆55Updated this week
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆101Updated 2 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆106Updated last month
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆32Updated 9 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆107Updated 5 months ago
• cdupont / Timeloop
  ☆41Updated last year
• tdietert / types-as-specifications
  ☆50Updated 5 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• flora-pm / flora-server
  A package index for the Haskell ecosystem
  ☆144Updated last week
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 2 years ago
• haskellfoundation / HaskellSchool
  ☆51Updated 3 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• mstksg / advent-of-code-dev
  Interactive development environment and runner for Advent of Code challenges
  ☆26Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 10 months ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆44Updated 3 months ago