Discover @eholk Open Source projects

Eric Holk (@eholk)

eholk

Stars
1,740
Global Rank 17,634 (Top 0.7 %)
Followers 320
Following 8
Registered about 15 years ago
Most used languages

Rust
34.8 %

C
17.4 %

C++
13.0 %

Scheme
13.0 %

JavaScript
8.7 %

Arduino 4.3 %

Assembly
4.3 %

Coq 4.3 %
Location 🇺🇸 United States
Country Total Rank 5,561
Country Ranking

Scheme
4

Coq 138

Arduino 189

Assembly
529

Rust
607

C
2,254

C++
9,102

harlan

A language for GPU computing.

Boot2Rust

EFI applications in Rust

elegant-weapons

An R6RS framework for creating compilers that target C.

RustGPU

SciRust

A scientific computing library for Rust.

Arduino-Pong

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

rust-stl

Stereo lithography file support for Rust.

PrimitiveComputing

bench-dot-product

Several variations of a dot product benchmark.

PlenopticJS

Rendering plenoptic camera images with WebGL.

scheme-fun

Random Scheme experiments. Mostly PL-related.

rust-papi

Rust bindings for PAPI

better-backtrace

explicit-async-cancellation

Experiment with explicit cancellation APIs for async Rust

ArduinoExamples

hexlife

Conway's Game of Life on a hexagonal grid.

coq-stlc

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

opencl-stress

A collection of OpenCL kernels that crash various OpenCL compilers.

thread-perf

dyn-star

bench-thread-diverge

How much does thread divergence affect GPU performance?

ebg

Eric's Blog Generator

microbenchmarks

Various tiny benchmarks for GPUs and other hardware.