Alternatives and similar repositories for icfpcontest2015

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

• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 7 months ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• purcell / adventofcode2016
  Advent of Code 2016, in Haskell
  ☆15Updated 7 years ago
• begriffs / algorithm-freezer
  Know your algorithms cold!
  ☆29Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆13Updated last year
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 4 years ago
• haskell-distributed / network-transport-tcp
  TCP Realisation of Network.Transport
  ☆29Updated 9 months ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated 2 months ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• mchakravarty / lets-program
  Let's program! Get into programming writing a simple game.
  ☆75Updated 11 years ago
• boostpro / emacs-llvm-jit
  Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT
  ☆26Updated 12 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆35Updated 9 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 2 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• ekmett / structures
  A playground for working on advanced data structures in Haskell
  ☆64Updated 9 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• burz / Feval
  evaluation using f-algebras
  ☆23Updated 9 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 7 months ago
• haskell-lisp / blaise
  Slava Akhmechet's Lisp from 2006
  ☆14Updated 11 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago