★ 18 · Updated 2026-03-19
Handle Rust unsafe code, raw pointers, FFI, and memory layout with safety
Browse skills that share this capability.
★ 18 · Updated 2026-03-19
Handle Rust unsafe code, raw pointers, FFI, and memory layout with safety
★ 602 · Updated 2026-03-10
Create Foreign Function Interface bindings between Lean 4 and C for native libraries and system APIs