1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

Learning FPGA, yosys, nextpnr, and RISC-V

A light theme for Visual Studio Code

A bare-bones CLI tool for signing did:plc operations with a yubikey

Master programming by recreating your favorite technologies from scratch.

A little tool so I don't forget to commit and push or pull changes when switching computers.

public DNS data yielder

symbolic execution plugin for binary ninja

CLI for SQLite Databases with auto-completion and syntax highlighting

Pomodoro timer that acknowledges the inexorable, infinite passage of time

Choreographies in Clojure

Finds, and optionally removes, duplicate files.

List system USB buses and devices. A modern cross-platform lsusb that attempts to maintain compatibility with, but also add new features

Resilient LL(1) parser generator for Rust

Like "ls", but for images. Shows thumbnails in terminal using sixel graphics.

electronic music related 3d print plans

A cross platform way to express data transformation, relational algebra, standardized record expression and plans.

Resilience engineering papers

Ray tracer written in pure CMake

Supplementary materials for RustConf 2023 talk on signal handling

jq for binary formats - tool, language and decoders for working with binary and text formats

A tool for exploring each layer in a docker image

Simple syscall sandboxing for Linux

Linux Kernel Manager and Activity Monitor 🐧💻

Rust crate and tool for interacting with STM32 bootloader

functional, durable data structures

Rust programs written entirely in Rust

A collection of ideas for new kernel features