🍭 #音乐播放器 #开源项目 #Rust应用


🏵 Bloomee - 开源音乐播放器，自由混音

🍥 简介：
Bloomee是一款实验性开源音乐播放器，提供完整的音频处理自由。它采用Rust安全插件系统，支持本地音乐与无限流媒体混合。该播放器纯净无广告，专注于提供无干扰的音乐体验。

🎈 【进入项目】


🗣 活动线报 | 掘金项目

🍭 #BitTorrent客户端 #Rust项目


🏵 Superseedr - 高性能Rust BT客户端

🍥 简介：
Superseedr 是一个基于 Rust 语言开发的现代 BitTorrent 客户端。它提供高性能终端界面，支持实时洪流群组监控。通过安全的 Docker 配置，可集成 VPN，无需手动进行网络设置。该客户端运行快速，注重用户隐私，适用于桌面环境、家庭实验室及服务器部署。

🎈 【进入项目】


🗣 羊毛撸货线报 | 合作/投稿

🍭 #Web框架 #Rust


🏵 Ohkami - Rust高性能Web框架

🍥 简介：
Ohkami是一款专为Rust语言打造的高性能、声明式且运行时灵活的全栈Web框架。它采用无宏设计并通过类型安全API实现直观的声明式编程。框架支持多种异步运行时和Serverless环境，具备卓越的性能表现和完整的中间件生态。内置SSE、WebSocket等现代特性，并提供高度集成的OpenAPI文档生成功能，为构建高效可靠的网络服务提供了现代化解决方案。

🎈 【进入项目】


🗣 羊毛撸货线报 | 合作/投稿

🗣 每日羊毛线报 👈


🏵 SQLx - 编译时检查的 Rust SQL 工具包

🍥 简介：
SQLx 是一个为 Rust 设计的异步、纯粹的 SQL 工具包。其核心特性是能够在编译时检查原生 SQL 查询的正确性，无需依赖任何 DSL，从而在开发早期就消除潜在的运行时错误，保证了类型安全。它原生支持多种异步运行时（如 Tokio、async-std），并兼容 PostgreSQL、MySQL 和 SQLite 等主流数据库。项目内置了连接池、行流式读取和自动语句缓存等高级功能，是构建高性能、高可靠性数据库应用的理想选择。

🍭 #Rust #数据库


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 IronRDP - Rust RDP协议实现

🍥 简介：
IronRDP是一组Rust crate，提供Microsoft远程桌面协议(RDP)的实现，侧重于安全性。它支持多种视频编解码器，包括原始位图、RLE、RDP 6.0和RemoteFX(RFX)。项目包含一个完整的异步RDP客户端 ironrdp-client 和一个同步的截图示例 screenshot ，后者展示了如何用少量代码构建基本的RDP客户端，连接服务器，解码图形更新并保存为BMP图像。

🍭 #RDP #Rust #远程桌面


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 coq-of-rust - Rust形式化验证工具

🍥 简介：
coq-of-rust 是一款专为 Rust 语言设计的形式化验证工具，旨在通过数学证明确保程序在所有执行路径下均无漏洞。尽管 Rust 的类型系统已能有效防止内存错误等常见问题，但代码仍可能因意外崩溃或业务逻辑错误而存在风险。coq-of-rust 通过将 Rust 代码自动转换为 Coq 语言，并经过半自动化的优化步骤，最终在 Coq 中验证代码的规范性和正确性。典型应用场景包括确保代码不会崩溃、数据结构等效性验证、版本兼容性检查等。通过形式化验证，开发者可以将漏洞和错误降至近乎零，特别适用于关键软件的安全保障。

🍭 #形式化验证 #Rust安全


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿