Alternatives and similar repositories for aoc-2019

Users that are interested in aoc-2019 are comparing it to the libraries listed below

• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 9 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• lynn / aoc-2018
  Advent of Code 2018 solutions in 25 different languages!
  ☆23Updated 7 years ago
• glguy / config-value
  Simple, layout-based, unambiguous configuration language implemented in Haskell
  ☆18Updated this week
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 5 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 13 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 7 years ago
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆76Updated last year
• kozross / diablerie
  All the byte bashing you didn't know you wanted in Haskell.
  ☆21Updated 4 years ago
• redneb / ghc-alt-libc
  GHC compiled against musl & uClibc
  ☆42Updated 11 months ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• georgefst / monpad
  A fully-customisable web-based gamepad, designed to be used from smartphones.
  ☆43Updated last week
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆32Updated 4 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 7 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• tov / alms
  The Alms Programming Language
  ☆44Updated 7 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆17Updated 6 years ago
• GaloisInc / xml
  Haskell XML library
  ☆27Updated 6 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆79Updated 5 years ago
• chrisdone-archive / sdl2-sprite
  Create and animate sprites easily with sdl2 (Haskell)
  ☆24Updated 7 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆35Updated 2 weeks ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆67Updated 6 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• hasufell / hsfm
  FileManager written in haskell
  ☆15Updated 5 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 7 years ago