Alternatives and similar repositories for AdventOfCode

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

• tdietert / types-as-specifications
  ☆50Updated 6 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆45Updated last year
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated last week
• symphony-org / frost
  Frost
  ☆19Updated 5 years ago
• haskellfoundation / HaskellSchool
  ☆51Updated 3 years ago
• gvolpe / fts
  Postgres full-text search (fts)
  ☆28Updated 3 years ago
• freckle / stack-action
  GitHub Action to build, test, and lint Stack-based Haskell projects
  ☆22Updated this week
• parsonsmatt / parsonsmatt.github.io
  My Github pages website
  ☆77Updated 10 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 2 months ago
• toptobes / realworld-haskell-scotty-example
  Haskell + Scotty example RealWorld API implementation for https://realworld.io
  ☆28Updated 10 months ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated 2 months ago
• EncodePanda / todo-rest
  Example of usage polysemy and servant
  ☆57Updated 6 years ago
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆71Updated last month
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆135Updated last week
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated 10 months ago
• alexmingoia / twain
  Tiny web application framework for WAI.
  ☆73Updated last year
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• snoyberg / why-you-should-use-stm
  ☆44Updated 6 years ago
• seagreen / hermetic
  Strategy game in Haskell (PRs: )
  ☆50Updated 5 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆34Updated 5 years ago
• dnikolovv / haskell-tic-tac-toe
  A multiplayer web real-time implementation of the famous Tic Tac Toe game in Haskell.
  ☆63Updated 2 years ago
• Eventuria / demonstration-gsd
  GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
  ☆53Updated 6 years ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆61Updated 2 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 5 months ago
• kowainik / awesome-haskell-sponsorship
  💝 Haskell profiles to sponsor
  ☆48Updated 4 years ago
• haskell-wasm / ghc-wasm-miso-examples
  ☆59Updated last month
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 10 months ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆121Updated 3 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆62Updated 3 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆37Updated 4 years ago