High performance multithreaded task execution and optimization engine for agents and dweb apps

Lightweight, modern PKI toolkit for TypeScript — X.509, PKCS, signatures, and more

being a particular fragment of Haskell, extended to a proof system

GOV.UK Frontend contains the code you need to start building a user interface for government platforms and services.

Simple Demo JWK authentication server

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 🐧💻