Alternatives and similar repositories for AdventOfCode:

Users that are interested in AdventOfCode are comparing it to the libraries listed below

• haskellfoundation / HaskellSchool
  ☆51Updated 2 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆40Updated last year
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆35Updated 4 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆65Updated 2 months ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆77Updated this week
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆21Updated last week
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• symphony-org / frost
  Frost
  ☆19Updated 4 years ago
• cdepillabout / post-about-nix-and-haskell
  ☆29Updated 5 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• freeman42x / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 4 years ago
• EncodePanda / todo-rest
  Example of usage polysemy and servant
  ☆57Updated 5 years ago
• glguy / advent2021
  Haskell solutions for https://adventofcode.com/2021/
  ☆14Updated 3 years ago
• tdietert / types-as-specifications
  ☆49Updated 5 years ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 6 months ago
• well-typed / optics-zurihac-2021
  ☆10Updated 3 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• bindthegap / bindthegap.github.io
  Bind The Gap: FP digital magazine
  ☆21Updated 4 years ago
• freckle / stack-action
  GitHub Action to build, test, and lint Stack-based Haskell projects
  ☆21Updated this week
• purescript-concur / purescript-concur-core
  Concur UI library for Purescript. Core framework.
  ☆30Updated 3 months ago
• nikita-volkov / domain
  Focused domain model declaration toolkit for Haskell
  ☆47Updated last year
• haskell-perf / graphs
  ☆40Updated 5 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆119Updated 2 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated 8 months ago
• Tehnix / miso-isomorphic-stack
  An example of an "isomorphic" Miso server set up with stack
  ☆44Updated 4 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year