Popular repositories Loading

1. CTFP2014 CTFP2014 Public

   Homework collaboration for the Category Theory in Functional Programming course at Chalmers

   Haskell 1 2

2. auction auction Public

   An implementation of sealed-bid, second-price (or Vickrey) auction

   Scala 1

3. llvm llvm Public

   Forked from bos/llvm

   Haskell bindings to the LLVM compiler infrastructure project.

   Haskell

4. .emacs.d .emacs.d Public

   My Emacs configuration.

   Emacs Lisp

5. pfp-queue pfp-queue Public

   A quick'n'dirty batch execution system for the Parallel Functional Programming course at Chalmers.

   Haskell

6. sf sf Public

   Exercises from Pierce's "Software Foundations".

   Coq