Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at F5.
weval.
174treeos. Christmas tree demo on bare PC hardware (no OS), in 16-bit assembly
123waffle.
58boolean_expression. A Rust library for manipulating and evaluating Boolean expressions and BDDs
31rust-oping. Rust bindings for liboping, a simple ICMP ping library.
17pingd. A simple daemon that pings a host, records the ping history, and serves it via HTTP.
10autopiper. Compiler for a high-level hardware description language with automatic pipeline synthesis
10speck. speck: the small, portable, efficiently-coded kernel
7x86instlib. An x86-64 instruction decoder and a corresponding instruction trace tool/library for (micro)architectural simulators.
6cranelift. Development branch of Cranelift for new ARM64 backend
5shmipclib. shared-memory message passing queues without touching kernel space on x86-64
5overlapping-encodings. Rust
4deferredborrow. Rust
3nixie. Nixie clock: schematic/board design and microcontroller firmware.
3veriwasm. SFI verifier of Wasm binaries
3distify. Script to collect a Linux binary and its required shared libraries into a single directory, with edited RPATHs.
22048c. simple console implementation of 2048
2extract-timemachine. Extract a backup image from an Apple TimeMachine volume, using only the open Linux HFS+ driver.
2rust-smallset. A small set implementation in Rust with minimal heap allocations.
2StarlingMonkey. The StarlingMonkey JS runtime
2wasmtime. Standalone JIT-style runtime for WebAssembly, using Cranelift
2rfcs. RFC process for Bytecode Alliance projects
2isle. Rust
2baldrdashlift. cli tool to update Cranelift in Spidermonkey (Baldrdash)
1wasm-anyref-demo. Playing around with WebAssembly (Wasm) anyref using JavaScript's GC as the allocator
1wasm-tools. Low level tooling for WebAssembly in Rust
1nk. "nanokernel": small user-mode runtime for cooperative threading, task-based parallelism, and message-passing.
1advisory-db. Security advisory database for Rust crates published through crates.io
1rust-immutable-arena. An Rust crate for arenas of immutable-once-built objects
1sparse-wasm-module. JavaScript
1protobuf. Protocol Buffers - Google's data interchange format
1nixie2. Circuit design and firmware for a GPS-synchronized Nixie-tube clock
1