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
• lukasmartinelli / hwk
  A Haskell based awk and sed alternative
  ☆67Updated 8 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• tanakh / Peggy
  The Parser Generator for Haskell
  ☆94Updated 10 years ago
• fumieval / objective
  Purely functional objects
  ☆73Updated 4 years ago
• kazu-yamamoto / llrbtree
  Left-leaning red-black trees
  ☆49Updated 13 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆183Updated 6 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated 2 years ago
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆70Updated 6 years ago
• jhartikainen / hs-language-php
  Experimental Haskell PHP parser / evaluator / code generator
  ☆50Updated 10 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 9 years ago
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆316Updated 7 years ago
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆206Updated last year
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 10 years ago
• tmishima / Hinecraft
  This is a simple Minecraft Clone (DEMO) written in Haskell.
  ☆34Updated 11 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• lmntal / lmntal-compiler
  LMNtal Compiler
  ☆21Updated 9 months ago
• kazu-yamamoto / mighttpd
  A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.
  ☆42Updated 15 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• beeramtheman / 99haskell
  Live Haskell coding problems
  ☆39Updated 10 years ago
• samth / gradual-typing-bib
  A bibliography on Gradual Typing
  ☆256Updated 2 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• owickstrom / idris-vimscript
  Compile Idris to Vimscript, like you always wanted.
  ☆132Updated 8 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆160Updated 6 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 8 years ago
• haskell-infra / hl
  Haskell web site (old -- see new repo at https://github.com/haskell-infra/www.haskell.org)
  ☆158Updated 4 years ago
• facebookarchive / lex-pass
  manipulate a php codebase using haskell to transform the abstract-syntax-tree
  ☆181Updated 11 years ago