Nintendo 3DS homebrew application that embeds a full RISC-V emulator to boot a Linux environment inside the 3DS Horizon OS.

Visualize, query, and stream to train on multimodal robotics data.

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

DecBench: An experimental living benchmark to measure how close we are to perfect decompilation on binaries.

Orchestrate multiple coding agents from desktop and mobile

RDMA core userspace libraries and daemons

OpenTelemetry Browser SDK and instrumentation

MInimal Musical medIUM - an infrastructural language for sound and music.

A small, fast, and embeddable programming language based on Lua with a gradual type system.

Static Value-Flow Analysis Framework for Source Code

Make your functions return something meaningful, typed, and safe!

Minimal implementation of the Email Verification Protocol on Cloudflare Workers + Zero Trust.

A Rust implementation of TCP using Multiparty session types

Labeled reverse-engineering dataset over 4,598 crackmes: flags, verifier scripts, and normalized obfuscation tags.

cuTile Rust provides a safe, tile-based kernel programming DSL for the Rust programming language. It features a safe host-side API for passing tensors to asynchronously executed kernel functions.

A flight-compliant WebAssembly interpreter.

Verified Rust for low-level systems code

Postgres rewritten in Rust, now passing 100% of the Postgres regression tests

macOS and Linux VMs on Apple Silicon to use in CI and other automations

Reverse engineered Linux driver for the Apple Neural Engine (ANE).

Tracing based copy-and-patch compiler for low-latency realtime Python

The world's first agentic reverse engineer.

Ray tracer in SQL

A powerful obfuscator for JavaScript and Node.js

A Zig Language Server

Tool to statically recompile N64 games into native executables

セキュリティ・キャンプ2025 ネクスト N4 講義資料

Rails as a specification; the deployment target is a build flag