eholk/coq-stlc
Proof of type safety for Simply Typed Lambda Calculus in Coq.
Developer Profile
eholk
Discovered public repositories for eholk in the GitHub catalog.
eholk/accelerate-examples
Examples and regression tests for the Accelerate library
eholk/rust-http
Rust HTTP library (server and client)
eholk/rust-core
Public repository.
eholk/Boot2Rust
EFI applications in Rust
eholk/x86-assembly-textmate-bundle
A bundle for TextMate providing syntax highlighting for x86 assembly code.
eholk/vicare
A native compiler for Scheme compliant with R6RS
eholk/rust-scratch
Random Rust experiments.
eholk/rust-papi
Rust bindings for PAPI
eholk/browserid
Persona is a secure, distributed, and easy to use identification system.
eholk/nanopass-framework
The new nanopass framework; an embedded DSL for writing compilers in Scheme
eholk/HSBencher
Haskell Parallel Scaling benchmark scripts with support for some post-processing and plotting of results.
eholk/TarpitGazer
Gazing into the Turing Tarpit
eholk/microbenchmarks
Various tiny benchmarks for GPUs and other hardware.
eholk/scheme-fun
Random Scheme experiments. Mostly PL-related.
eholk/RustGPU
Public repository.
eholk/bench-thread-diverge
How much does thread divergence affect GPU performance?
eholk/bench-dot-product
Several variations of a dot product benchmark.
eholk/llvm
Temporary fork of LLVM for Rust
eholk/SciRust
A scientific computing library for Rust.
eholk/rust-opencl
OpenCL bindings for Rust.
eholk/rust-cocoa
Cocoa/Objective-C bindings for the Rust programming language
eholk/rust-azure
Azure bindings for Rust
eholk/rust-sdl
SDL bindings for Rust
eholk/ScalaVErlangAgents
A performance test comparing Scala verses Erlang with simple agents to determine messaging performance
eholk/servo
The Servo Browser Engine
eholk/cargo-central
rust-lang.org maintained cargo repository
eholk/ArduinoExamples
Public repository.
eholk/harlan
A language for GPU computing.
eholk/cKanren
Public repository.
eholk/PlenopticJS
Rendering plenoptic camera images with WebGL.
eholk/hexlife
Conway's Game of Life on a hexagonal grid.
eholk/elegant-weapons
An R6RS framework for creating compilers that target C.
eholk/libatomic_ops
The atomic_ops project (Atomic memory update operations portable implementation)
eholk/bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)
eholk/thread-perf
Public repository.
eholk/rust
A work-in-progress programming language; not yet suitable for users