A mutation testing tool designed to work with large C++ (and C) codebases.

Example implementations of spinlocks

Universal shader translation in Rust

static analysis of C/C++ code

A testing framework for automatically finding and simplifying bugs in graphics shader compilers.

Symbolic Execution Engine for Boogie

The property-based testing library for Python

A framework for rapid development of reliable asynchronous software.

A collection of shader compiler bugs.

An OpenCL device simulator and debugger

GPUVerify: a Verifier for GPU Kernels

C-Reduce, a C and C++ program reducer

OpenCL extension for csmith.