kani-verifier - 使用 Kani 进行 Rust 形式化验证形式化验证模型检查Rust内存安全★ 0 · 更新于 2026-03-20通过穷尽符号执行证明 Rust 代码属性的模型检查器⚙ 验证 Rust 代码⚙ 检查内存安全性⚙ 检测未定义行为
gpui - 使用 Rust 和 GPUI 开发桌面应用程序rust图形界面桌面gpu★ 650 · 更新于 2026-02-24使用 Zed 的 GPU 加速 GPUI 框架构建桌面应用程序。⚙ 使用 GPUI 构建桌面应用⚙ 在结构中管理实体状态⚙ 实现 Render trait
async-drop - Rust 异步清理的 AsyncDrop 模式指南Rust异步编程资源管理清理模式★ 2,309 · 更新于 2026-02-13Rust 中异步清理的 AsyncDrop 模式指南⚙ 创建 AsyncDropGuard⚙ 实现 AsyncDrop trait⚙ 调用 async_drop 方法
