★
slint 是用 Rust 编写的桌面应用，用于桌面端程序开发，主打开源免费。
Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.
creusot-rs / creusot
creusot
Creusot helps you prove your Rust code is correct.
creusot 是用 Rust 编写的区块链项目，面向链上应用开发。
目前累计 1.9k star、97 fork，主要语言为 Rust，项目始于 2021 年，采用 LGPL-2.1 许可。最近状态：近一个月有提交。适合：链上应用开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。creusot-rs/creusot 是一个以 Rust 为主的开源项目，目前累计 1.9k star、97 fork，近 30 天内有提交。主要方向：contracts、deductive-reasoning、formal-methods、formal-verification、proof、Rust。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。README
正在加载…相关项目
★
Rust 是用 Rust 编写的学习资料，用于系统学习与查阅，主打实现清晰。
All Algorithms implemented in Rust
★
★
什么？你敢放心的把后背交给 AI? 我赌你不敢，那就来学学 AI 时代最酷、最安全、最快的语言吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book
什么？你敢放心的把后背交给 AI? 我赌你不敢，那就来学学 AI 时代最酷、最安全、最快的语言吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book
★
espanso 是用 Rust 编写的实用工具，用于提升日常效率，主打跨平台、实现清晰。
A Privacy-first, Cross-platform Text Expander written in Rust
★
lemmy 是用 Rust 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
🐀 A decentralised discussion platform for communities.