Alternatives and similar repositories for aoc2018:

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

• morgenthum / lambda-heights
  A fast paced arcade game
  ☆52Updated 5 years ago
• mstksg / advent-of-code-2017
  Advent of Code 2017 (Warning: Spoilers)
  ☆49Updated 5 months ago
• glguy / advent2019
  Advent of Code 2019 solutions
  ☆43Updated 3 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated last month
• mstksg / advent-of-code-2018
  Advent of Code 2018 Solutions (Spoilers!)
  ☆83Updated 5 months ago
• puffnfresh / sonic2
  Sonic the Hedgehog 2 in Haskell
  ☆67Updated 3 years ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• glguy / advent2017
  Advent of Code 2017 solutions
  ☆27Updated 4 years ago
• glguy / advent2018
  Advent of Code 2018 Solutions
  ☆37Updated 5 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 11 months ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 6 months ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• gelisam / ludum-dare-31
  The theme for LD31 was "Entire Game on One Screen"
  ☆29Updated 8 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 4 years ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆94Updated 8 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 7 years ago
• parsonsmatt / garlic-bread
  Leave delicious breadcrumbs to make your errors easier to understand.
  ☆37Updated 7 years ago
• chrisdone-archive / labels
  Declare and access tuple fields with labels
  ☆58Updated 6 years ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆80Updated 5 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated last year
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 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
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago