eholk/pbbs
An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top
Public repository discovered through GitHub real-time crawl.
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.