icfpc2016 / icfpc2016-judgeLinks
ICFP Programming Contest 2016 Judge System and Task Data
☆14Updated 9 years ago
Alternatives and similar repositories for icfpc2016-judge
Users that are interested in icfpc2016-judge are comparing it to the libraries listed below
Sorting:
- Learning Haskell☆50Updated 10 years ago
- A Web Browser written with Haskell☆37Updated 4 years ago
- SoftwareFoundations(Ja)☆70Updated 6 years ago
- Left-leaning red-black trees☆49Updated 13 years ago
- Totally functional programming literature☆60Updated 6 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆159Updated 6 years ago
- Lisp implementation in GNU make☆171Updated 10 years ago
- A Haskell based awk and sed alternative☆67Updated 8 years ago
- The Parser Generator for Haskell☆94Updated 10 years ago
- manipulate a php codebase using haskell to transform the abstract-syntax-tree☆181Updated 11 years ago
- A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X☆18Updated last month
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- This is a simple Minecraft Clone (DEMO) written in Haskell.☆34Updated 11 years ago
- formalization of the Dependent Object Types (DOT) calculus☆161Updated 9 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆190Updated 9 years ago
- Haskell Semantics with Lisp Syntax☆73Updated 11 years ago
- A Haskell implementation of the Shen programming language.☆168Updated 7 years ago
- Learn you an Agda (and achieve enlightenment)☆317Updated 7 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- 🐣 A blog engine written and proven in Coq☆182Updated 6 years ago
- Purely functional objects☆73Updated 4 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆316Updated 2 years ago
- ☆94Updated 9 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 9 years ago
- (ARCHIVE) Raku User's Golfing System in Haskell☆85Updated 4 years ago
- moved from https://sourceforge.net/p/min-caml/code/☆518Updated 3 months ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Updated 14 years ago
- Shiranui is new programming language supports live/test driven programming.☆26Updated 10 years ago
- A book on programming languages, using Haskell☆167Updated 4 years ago