GBA multiboot program for dumping Vast Fame protected carts (and others)

Old Firmware files for the Nikon D5300 DSLR digital camera

Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci

Demonstration of decoding EMV data structures

Analysis of the GPS Special Message field

a GEMM (General Matrix Multiply) kernel generator

A circuit-based Boolean satisfiability (SAT) solver

A logic synthesis tool

Glass - a fast and free IDA Pro alternative

Darwin (iOS, macOS) Type Library Generation

Code for the paper "Efficient Training of Language Models to Fill in the Middle"

Xcode 27 beta 1 system prompts and internal documentation

Tools for merging pretrained large language models.

PCSX2 Reliquary - PS2 Emulator for the nerds

Ghidra Plugin for Fujitsu FR60 Processors. Focused on DVRP's MB91302A in the Sony PSX.

Build your own high performance LLM inference engine in C++ and CUDA - a smaller version of vLLM

Fast LLM speculative inference server for consumer hardware.

A SOTA quantization algorithm for high-accuracy low-bit LLM inference, seamlessly optimized for CPU/XPU/CUDA, with multi-datatype support and full compatibility with vLLM, SGLang, and Transformers.

Bijective variable-length encoding for unsigned integers

PicoGraph is a Pi Pico 2 ISA video card that supports several PC graphics standards using DisplayLink

A version of ECFS (Extended core file snapshot) technology that was revamped for the DARPA EBOSS program-- ELF core-files with rich ABI enhancements for automated vulnerability research.

An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.

Nintendo Optical Disc traversal and generation

A FUSE server implementation for Rust.

QT-based open-source editor for OldUnreal based Unreal Engine 1 games