Eric Holk (@eholk)
github

eholk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,740
  • Global Rank 17,765 (Top 0.7 %)
  • Followers 320
  • Following 8
  • Registered over 15 years ago
  • Most used languages
    Rust
         34.8 %
    C
         17.4 %
    Scheme
         13.0 %
    C++
         13.0 %
    JavaScript
         8.7 %
    Assembly
         4.3 %
    Arduino     4.3 %
    Coq     4.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 5,561
  • Country Ranking
    Scheme
         4
    Coq     121
    Arduino     186
    Assembly
         512
    Rust
         611
    C
         2,262
    C++
         9,060

Top repositories

1

harlan

A language for GPU computing.
Scheme
1,187
star
2

Boot2Rust

EFI applications in Rust
Rust
203
star
3

elegant-weapons

An R6RS framework for creating compilers that target C.
Scheme
113
star
4

RustGPU

C
82
star
5

SciRust

A scientific computing library for Rust.
Rust
34
star
6

Arduino-Pong

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

rust-stl

Stereo lithography file support for Rust.
Rust
12
star
8

PrimitiveComputing

Assembly
11
star
9

bench-dot-product

Several variations of a dot product benchmark.
C++
11
star
10

PlenopticJS

Rendering plenoptic camera images with WebGL.
JavaScript
6
star
11

scheme-fun

Random Scheme experiments. Mostly PL-related.
Scheme
6
star
12

rust-papi

Rust bindings for PAPI
Rust
6
star
13

better-backtrace

Rust
6
star
14

explicit-async-cancellation

Experiment with explicit cancellation APIs for async Rust
Rust
6
star
15

ArduinoExamples

C
4
star
16

hexlife

Conway's Game of Life on a hexagonal grid.
JavaScript
3
star
17

coq-stlc

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

opencl-stress

A collection of OpenCL kernels that crash various OpenCL compilers.
C
2
star
19

thread-perf

C++
1
star
20

dyn-star

Rust
1
star
21

bench-thread-diverge

How much does thread divergence affect GPU performance?
C
1
star
22

ebg

Eric's Blog Generator
Rust
1
star
23

microbenchmarks

Various tiny benchmarks for GPUs and other hardware.
C++
1
star