Skip to content


  • Arctic Code Vault Contributor


  1. A tool for the dual-head presentation of PDF slides on Mac OS X, most likely using a laptop and a projector. The project arose out of the need to correctly project slides created with LaTeX's beame…

    Objective-C 119 16

  2. An automated method for detecting bugs in OpenCL compilers, by generating large random kernels using the CLsmith generator, identifying kernels that yield result differences, and using this novel e…

    Python 5 5

  3. Interestingness tests for OpenCL kernels which can be used with C-Reduce


  4. Forked from csmith-project/creduce

    C-Reduce, a C program reducer

    C++ 1

  5. Mac UK International Keyboard Layout for Windows


  6. Forked from jrprice/Oclgrind

    A SPIR interpreter and virtual OpenCL device simulator.

    C++ 1

14 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.