Pinned

1. splitshow splitshow Public

   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 136 13

2. clreduce clreduce Public

   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 interestingness-tests Public

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

   Python

4. creduce creduce Public

   Forked from csmith-project/creduce

   C-Reduce, a C program reducer

   C++ 1

5. mac_ukint_kbd_layout_win mac_ukint_kbd_layout_win Public

   Mac UK International Keyboard Layout for Windows

   C 1

6. Oclgrind Oclgrind Public

   Forked from jrprice/Oclgrind

   A SPIR interpreter and virtual OpenCL device simulator.

   C++ 1