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


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

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

🎈 【进入项目】


🗣 活动线报 | 掘金项目

🗣 每日羊毛线报 👈


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

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

🍭 #Rust #数据库


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Hacker News Reader - HN阅读器及待办事项

🍥 简介：
Hacker News Reader 是一个本地桌面应用，用于浏览 Hacker News，界面简洁现代。 使用 Rust 和 egui 构建。支持浏览热门、最新、Show HN、Ask HN、招聘和最佳等板块，以 Reddit 风格的线程格式查看评论，可自动折叠和调整字体大小。具备搜索过滤、自动加载、颜色编码、暗/亮模式、离线缓存、收藏等功能，并提供丰富的键盘快捷键操作。

🍭 #HackerNews #Rust #桌面应用


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 model2vec-rs - 快速静态嵌入生成

🍥 简介：
model2vec-rs 是 Model2Vec 的官方 Rust 实现，提供高效的静态嵌入模型推理能力。Model2Vec 是一种从句子转换器创建紧凑且快速的静态嵌入模型的技术，显著减小模型大小并提高推理速度。该 Rust crate 针对性能进行了优化，适用于需要快速生成嵌入的应用程序。支持从 Hugging Face Hub 加载预训练模型，并提供 CLI 工具进行快速推理。

🍭 #静态嵌入 #Rust #模型推理


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


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

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

🍭 #形式化验证 #Rust安全


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿