Alternatives and similar repositories for aoc2018

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

• glguy / advent2019
  Advent of Code 2019 solutions
  ☆43Updated 4 years ago
• gelisam / ludum-dare-31
  The theme for LD31 was "Entire Game on One Screen"
  ☆28Updated 8 years ago
• puffnfresh / sonic2
  Sonic the Hedgehog 2 in Haskell
  ☆67Updated 3 years ago
• glguy / advent2018
  Advent of Code 2018 Solutions
  ☆37Updated 6 years ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 4 years ago
• dixonary / hove-letter
  An implementation of the game Love Letter in the terminal, written in Haskell.
  ☆16Updated 6 years ago
• glguy / advent2017
  Advent of Code 2017 solutions
  ☆27Updated 5 years ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆95Updated 8 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated last year
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• emk / haskell-probability-monads
  Composable probability monads in Haskell.
  ☆22Updated 10 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 4 years ago
• mstksg / advent-of-code-2017
  Advent of Code 2017 (Warning: Spoilers)
  ☆50Updated last year
• chrisdone-archive / labels
  Declare and access tuple fields with labels
  ☆59Updated 6 years ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆22Updated last week
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 6 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆62Updated 8 years ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 6 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 7 years ago
• Gabriella439 / Haskell-Errors-Library
  Type-safe error handling
  ☆64Updated 2 years ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 3 years ago
• valderman / ghc-simple
  Simplified interface to the GHC API
  ☆22Updated 6 years ago
• kowainik / slist
  ♾️ Sized list
  ☆47Updated last year
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆125Updated 3 years ago
• ekmett / semigroupoids
  ☆78Updated 2 months ago
• mstksg / advent-of-code-2018
  Advent of Code 2018 Solutions (Spoilers!)
  ☆83Updated last year
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆168Updated last year
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆71Updated last week
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆48Updated 7 years ago
• pbl64k / gpif-idris
  Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
  ☆14Updated 8 years ago