GaloisInc / icfpcontest2015
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
- A type theory based theorem proving library☆25Updated 13 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- TODO☆10Updated 9 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- Racket bindings for the Slack API☆10Updated 6 years ago
- Accepted papers for ICFP 2014☆119Updated 8 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 10 years ago
- Magic Wormhole for Haskell☆11Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Advent of Code 2016, in Haskell☆15Updated 7 years ago
- XHTML combinator library☆9Updated 5 months ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆55Updated 10 months ago
- Know your algorithms cold!☆29Updated 9 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- ☆23Updated 9 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 9 years ago
- A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai☆10Updated 10 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- git mirror of language-c darcs repo at http://code.haskell.org/language-c☆13Updated last year
- Web site for standardml.org.☆36Updated last year
- TCP Realisation of Network.Transport☆29Updated 7 months ago
- QuadTree library for Haskell, using lenses.☆15Updated 6 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago