Capability-oriented version of the Rust standard library

software for an uncertain future

Configuration for my NixOS setup

compact roughtime client implementation in C for embedded use

A verification toolchain for Rust programs

Worktrunk is a CLI for Git worktree management, designed for parallel AI agent workflows

An experimental capability-secure systems language

A GitHub dashboard TUI

Semantic git diffs with AI

AI generated commit messages

An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] support)

JavaCard implementation of FROST threshold signature scheme relying only on public JavaCard API.

Bitkey is a self-custody bitcoin wallet with an app, hardware, and recovery tools.

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

The Core Flight System (cFS) Operating System Abstraction Layer (OSAL)

Torch implementation of neural style algorithm

Open Source Computer Vision Library

Plasma is an interactive disassembler for x86/ARM/MIPS. It can generates indented pseudo-code with colored syntax.

Animal Crossing villager for your command line!

Prototype for our independent study game.