GaloisInc / icfpcontest2015
The 2015 ICFP Programming Contest
☆7Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for icfpcontest2015
- TODO☆10Updated 9 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Contains the system-filepath and system-fileio packages☆9Updated last week
- XHTML combinator library☆9Updated this week
- ☆21Updated 7 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- FFI to zeromq☆12Updated last week
- An outdated miniKanren implementation with a not-pairo constraint☆29Updated 10 years ago
- Shen KLambda to KLVM translator.☆29Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Advent of Code 2016, in Haskell☆15Updated 7 years ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- Proof that Haskell can look and act like an imperative language.☆73Updated 12 years ago
- Timing attack resistant type systems☆24Updated 9 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- TCP Realisation of Network.Transport☆30Updated 2 months ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- A programming language☆76Updated 11 years ago
- The LVish Haskell library☆81Updated 2 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Updated 10 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Obsolete, see: https://github.com/feuerbach/bert☆24Updated 11 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 2 weeks ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago