Starred repositories
Policy-driven, layered isolation and containment
Minimal graphics API. Built on top of latest Vulkan extensions. As close as possibly to my "No Graphics API" blog post and the SIGGRAPH talk.
A modular Rust syntax toolkit for tokenization, parsing, formatting, diagnostics, and quasi-quoting.
Contrastive Language Models (CLMs) are a new class of System One model trained with a contrastive learning objective that connects states and actions.
IoT Firmware Deep Analysis: Automated reverse engineering and vulnerability discovery for IoT firmware binaries.
Static devirtualizer for VMProtect 3.0-3.5. Lifts virtualized code to LLVM using Remill and strips the VM layer through optimization.
Single-pass SSA compiler and tiered register VM for a sandboxed Python subset, with NaN-boxed values, inline caches, memoization, mark-sweep GC and snapshots. One WebAssembly module runs in browser…
Biased reference counting. Thread-safe like an Arc, but as fast as a Rc for the biased thread.
A store of mutable references that can be captured and restored efficiently.
fmtlog is a performant fmtlib-style logging library with latency in nanoseconds.
Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation
A reversing plugin for cross-decompiler collaboration, built on git.
Replace port numbers with stable, named local URLs. For humans and agents.
Signal-based perception engine for simulated entities
Headless Binary Ninja MCP server — giving AI agents deep reverse-engineering capabilities via 180 tools.
Make non-self-describing serde formats behave like self-describing ones.
Binary Ninja plugin to provide MCP functionality.
A declarative instruction decoder and disassembler generator using a custom DSL
Header-only C++2x compile-time assembler for x86/x86-64 instruction encoding
Very fast synchronous and asynchronous C++17 logging library
Bring your app to all platform, learning once and applying anywhere