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
- Accepted papers for ICFP 2014☆119Updated 8 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- Magic Wormhole for Haskell☆12Updated 11 months ago
- TODO☆10Updated 9 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
- Try Idris☆35Updated 9 years ago
- Advent of Code 2016, in Haskell☆15Updated 7 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- Exercism exercises in Coq.☆18Updated 5 months ago
- XHTML combinator library☆9Updated 4 months ago
- ☆73Updated 11 years ago
- The LVish Haskell library☆80Updated 2 years ago
- an example airship app☆14Updated 8 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- Verified vector clocks, with Coq!☆14Updated 11 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- The Combination of Dynamic and Static Typing from a Categorical Perspective☆10Updated 7 years ago
- Timing attack resistant type systems☆24Updated 9 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- A Haskell number theory library.☆14Updated 7 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago