eholk/pbbs
An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top
Rendering plenoptic camera images with WebGL.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top
A simple Pong game for the Arduino which uses one of the OLED displays from Adafruit.
A collection of OpenCL kernels that crash various OpenCL compilers.
Proof of type safety for Simply Typed Lambda Calculus in Coq.