Firmware Analysis Tool

Static analysis for GitHub Actions

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

Platform that enables Windows driver development in Rust

Kernel-enforced agent sandbox. Capability-based isolation with secure key management, atomic rollback, cryptographic immutable audit chain of provenance. Run your agents in a zero-trust environment.

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