Firmware Analysis Tool

Static analysis for GitHub Actions

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

nono - a capability-based, multiplexing sandbox tool, built for developers - lift'n'shift seamless path to prod. Run agents securely without needing any additional infra, zero setup, zero latency.

Platform that enables Windows driver development in Rust

Rust programs written entirely in Rust

Binary coverage tool without binary modification for Windows

A local diffing tool for decompilation projects

A language that ports⚓: examining the limits of compilation⚙️.

The Solid-State Register Allocator