❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序，在微信中搜索 TrendForge Pro 即可使用小程序，如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️
verus-lang/verus
项目介绍
适用于底层系统代码的已验证Rust语言
Verified Rust for low-level systems code
智能解读
智能标签
使用场景
项目健康度
从未记录更新时间
平台 Star TOP 19% · Forks 138
本周 +10 ⭐ · 本月 +44 ⭐
82 位贡献者 · 0 条平台评论
缺少 3 项内容
1 项改进建议
- 活跃度：暂无最后推送时间记录，建议重新采集仓库元数据
项目信息
赞赏支持
如果本站对你有帮助，欢迎打赏支持
微信
支付宝
Widget 徽章
相关项目推荐
rustdesk/rustdesk
一款专为自建远程访问需求设计的开源远程桌面应用程序，可作为TeamViewer的替代方案。
rust-lang/rust
让每个人都能构建可靠高效的软件
denoland/deno
面向 JavaScript 与 TypeScript 的现代化运行时
tauri-apps/tauri
通过 Web 前端构建更小、更快、更安全的桌面与移动应用程序
oven-sh/bun
极速全能的JavaScript运行时、打包工具、测试运行器和包管理器——集于一身。
openai/codex
轻量级终端编码助手
加载评论中...