eholk

Eric Holk (eholk)

2 years after

About Eric Holk

Summing up all of Eric Holk's repositories they have 17 own repositories and 21 contribute repositories .

Eric Holk follows 6 other users and is followed by 116 users.

Data for Eric Holk was last updated 2 years after.

Eric Holk use Scheme, Rust, C++, Makefile, Shell, Python, Arduino, C, Haskell, Emacs Lisp, Ruby, ...

Repository

harlan

1041 0,1,0,0,0,0,5

A language for GPU computing.

Boot2Rust

180

EFI applications in Rust

elegant-weapons

86

An R6RS framework for creating compilers that target C.

rust-opencl

4 0,0

OpenCL bindings for Rust.

llvm

3

Temporary fork of LLVM for Rust

bdwgc

2

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)

hexlife

2

Conway's Game of Life on a hexagonal grid.

opencl-stress

2

A collection of OpenCL kernels that crash various OpenCL compilers.

Arduino-Pong

1

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

bench-dot-product

1

Several variations of a dot product benchmark.

cargo-central

1

rust-lang.org maintained cargo repository

libatomic_ops

1

The atomic_ops project (Atomic memory update operations portable implementation)

microbenchmarks

1

Various tiny benchmarks for GPUs and other hardware.

bench-thread-diverge

1

How much does thread divergence affect GPU performance?

coq-stlc

0

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

Contribute

rust

rust

21918 0,9,9,42,25,0,21,0

A safe, concurrent, practical language.

vicare

vicare

150 0,0,0

A native compiler for Scheme compliant with R6RS

rust-opencl

rust-opencl

123 0,0

OpenCL bindings for Rust.

rust-sdl

rust-sdl

163 0,0

SDL bindings for Rust

cKanren

cKanren

108

Constraint programming language embedded in Racket

rust

rust

3 0,0

a safe, concurrent, practical language

rust

rust

2

A work-in-progress programming language; not yet suitable for users

rust

rust

0 0,0

a safe, concurrent, practical language

rust

rust

0 0,0

a safe, concurrent, practical language

rust

rust

1

A safe, concurrent, practical language.

rust

rust

0

A safe, concurrent, practical language.

rust

rust

0

A safe, concurrent, practical language.

rust

rust

1

a safe, concurrent, practical language

nanopass-framework

nanopass-framework

217

The new nanopass framework; an embedded DSL for writing compilers in Scheme

rust-core

rust-core

112

a lightweight standard library for rust with freestanding support (deprecated in favour of libcore u

rand

rand

56

nanopass-framework-racket

nanopass-framework-racket

28

Racket port of the nanopass-framework

rust-wiki-backup

rust-wiki-backup

22

A backup of the Rust wiki

rust-doc-korean

rust-doc-korean

13

안전하고, 동시적이고, 실용적인 언어인 rust 관련 문서들을 한국어로 발번역하는 프로젝트. Penflip으로 옮겼습니다.

waterfall

waterfall

8

Build and test bots