Python Command-Line Ghidra Binary Diffing Engine

Embedded Controller firmware for the Framework Laptop

Documentation for the Mainboard and other modules in the Framework Laptop 13

Patina Firmware

CTF writeups

Kernels & AI inference engine for phones

Quadrature Sampling Detector Phase Locked Loop LO Synthesizer SDR Frontend

Modular hardware build system

A Linux-capable RISC-V multicore for and by the world

Lock, Stock, and Two Smoking MicroVMs. Create and manage the lifecycle of MicroVMs backed by containerd.

Open source implementation of AlphaFold3

Create PCBs using a simplfiied graphics language

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server

Pocket Flow: Codebase to Tutorial

🪄 Spin up ready-to-code, disposable dev environments on your own servers. Self-hosted alternative to Gitpod and Github Codespaces.

Rust tool to detect cell site simulators on an orbic mobile hotspot

Library implementing the core Privacy Pass protocol API

Privacy Pass implementation in Rust

21 Lessons, Get Started Building with Generative AI

IPSW Diffs

Soft-logic designs and HAL libraries for various subsystems found in Oxide hardware.

MTK reverse engineering and flash tool

The shortest and fastest script to build working cross compilers targeting musl libc

Book repository "Analysis and Design of Elementary MOS Amplifier Stages"

Playground for VGA projects on Tiny Tapeout

A collection of my Semgrep rules to facilitate vulnerability research.

Port of DropBox Lepton compression to Rust