GaloisInc / icfpcontest2015Links
The 2015 ICFP Programming Contest
☆7Updated 9 years ago
Alternatives and similar repositories for icfpcontest2015
Users that are interested in icfpcontest2015 are comparing it to the libraries listed below
Sorting:
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- TODO☆10Updated 9 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- Magic Wormhole for Haskell☆11Updated last year
- Backtracking monad in Haskell☆14Updated 3 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Shell.☆14Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 13 years ago
- ☆10Updated 12 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Compile-time multitasking support for the Scheme programming language☆37Updated 10 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Codes related to Idris☆15Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- XHTML combinator library☆9Updated 6 months ago
- Slava Akhmechet's Lisp from 2006☆14Updated 11 years ago
- Racket bindings for the Slack API☆10Updated 6 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 7 years ago