Alternatives and similar repositories for icfpcontest2015:

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

• haskell / xhtml
  XHTML combinator library
  ☆9Updated 2 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆35Updated 9 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆120Updated 8 years ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 10 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 2 months ago
• mukeshtiwari / Idris
  Codes related to Idris
  ☆15Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• fpco / schoolofhaskell.com
  ☆16Updated 4 years ago
• burz / Feval
  evaluation using f-algebras
  ☆23Updated 9 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆17Updated 7 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• bos / snappy
  Fast Haskell bindings to Google's Snappy compression library
  ☆31Updated 2 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 2 months ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 8 years ago
• fpco / http-reverse-proxy
  Reverse proxy HTTP requests, either over raw sockets or with WAI
  ☆55Updated 7 months ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆19Updated 6 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆27Updated 9 years ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆11Updated last year