Popular repositories

1. contracts contracts Public

   Symbolic financial contract EDSL

   Coq 36 9

2. accelerate-opencl accelerate-opencl Public

   Haskell 35 4

3. hopencl hopencl Public

   OpenCL library for Haskell

   C 8 9

4. finpar finpar Public

   Parallelisation of financial benchmarks

   C 8 2

5. vectorprogramming vectorprogramming Public

   C++ 7

6. HQL HQL Public

   Porting Sinan Gabel's DerivativesExpert to Haskell (MSc-7.5)

   TeX 3