rust-unsafe - Rust 不安全代码与 FFI 专家Rust不安全代码FFI内存★ 18 · 更新于 2026-03-19处理 Rust 不安全代码、裸指针、FFI 和内存布局⚙ 编写不安全代码⚙ 声明外部函数⚙ 使用裸指针
ffi-bindings - 创建 Lean 4 与 C 的 FFI 绑定FFIC 互操作Lean 4原生绑定★ 650 · 更新于 2026-03-10在 Lean 4 和 C 之间创建外部函数接口绑定,用于原生库和系统 API⚙ 定义不透明类型⚙ 声明外部函数⚙ 实现 C 函数