Popular repositories Loading

1. llvm llvm Public

   Forked from bos/llvm

   Haskell bindings to the LLVM compiler infrastructure project.

   Haskell

2. .emacs.d .emacs.d Public

   My Emacs configuration.

   Emacs Lisp

3. pfp-queue pfp-queue Public

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

   Haskell

4. sf sf Public

   Exercises from Pierce's "Software Foundations".

   Coq

5. ornaments ornaments Public

   An implementation of ornaments from 'Transporting Functions Across Ornaments'

   Agda

6. CTFP2014 CTFP2014 Public

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

   Haskell 2