Eric Holk's Repositories

An R6RS framework for creating compilers that target C.

A language for GPU computing.

EFI applications in Rust

Eric's Blog Generator

Stereo lithography file support for Rust.

Lightweight benchmarking harness for C .

Rendering plenoptic camera images with WebGL.

A scientific computing library for Rust.

Random Scheme experiments. Mostly PL-related.

Several variations of a dot product benchmark.

Various tiny benchmarks for GPUs and other hardware.

Gazing into the Turing Tarpit

A collection of OpenCL kernels that crash various OpenCL compilers.

Conway's Game of Life on a hexagonal grid.

A simple Pong game for the Arduino which uses one of the OLED displays from Adafruit.

How much does thread divergence affect GPU performance?

Random Rust experiments.

Proof of type safety for Simply Typed Lambda Calculus in Coq.

Rust bindings for PAPI