Alternatives and similar repositories for icfpc2016-judge

Users that are interested in icfpc2016-judge are comparing it to the libraries listed below

• ToJans / learninghaskell
  Learning Haskell
  ☆50Updated 10 years ago
• carliros / Simple-San-Simon-Functional-Web-Browser
  A Web Browser written with Haskell
  ☆37Updated 4 years ago
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆70Updated 6 years ago
• kazu-yamamoto / llrbtree
  Left-leaning red-black trees
  ☆49Updated 13 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆159Updated 6 years ago
• shinh / makelisp
  Lisp implementation in GNU make
  ☆171Updated 10 years ago
• lukasmartinelli / hwk
  A Haskell based awk and sed alternative
  ☆67Updated 8 years ago
• tanakh / Peggy
  The Parser Generator for Haskell
  ☆94Updated 10 years ago
• facebookarchive / lex-pass
  manipulate a php codebase using haskell to transform the abstract-syntax-tree
  ☆181Updated 11 years ago
• jwiegley / ready-lisp
  A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X
  ☆18Updated last month
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 9 years ago
• tmishima / Hinecraft
  This is a simple Minecraft Clone (DEMO) written in Haskell.
  ☆34Updated 11 years ago
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆161Updated 9 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆190Updated 9 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆73Updated 11 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆168Updated 7 years ago
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆317Updated 7 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 7 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated 2 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 6 years ago
• fumieval / objective
  Purely functional objects
  ☆73Updated 4 years ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆316Updated 2 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 9 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago
• perl6 / Pugs.hs
  (ARCHIVE) Raku User's Golfing System in Haskell
  ☆85Updated 4 years ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆518Updated 3 months ago
• kazu-yamamoto / mighttpd
  A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.
  ☆42Updated 14 years ago
• tomoki / Shiranui
  Shiranui is new programming language supports live/test driven programming.
  ☆26Updated 10 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago