prusti 是用 Rust 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
A static verifier for Rust, based on the Viper verification infrastructure.
yangshun
面向忙碌工程师的面试准备资料,含算法、行为面试与简历建议。目前累计 14.3 万 star、1.7 万 fork,在本地项目库中星标排名约第 72 / 65730,主要语言为 TypeScript,项目始于 2016 年,采用 MIT 许可。最近状态:近半年有提交。
适合谁:推荐给想补齐某块知识的开发者:涉及 algorithm、algorithm-interview、algorithm-interview-questions、algorithms 方向。
按累计星标排序,库内共 65,741 个项目(GitHub 上星标 ≥ 1k 的公开仓库约 66,081 个)。
优先使用本地记录的星标快照计算近 7 天真实增量;快照不足 7 天时,按「创建以来日均获星」估算,数值旁会标注口径。
已收录 GitHub 星标过千的公开项目,附原始简介、语言、主题与活跃度。用一句自然语言描述需求,即可获得 AI 推荐。
prusti 是用 Rust 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
A static verifier for Rust, based on the Viper verification infrastructure.
syncstorage-rs 是用 Rust 编写的开发框架,用于搭建服务端与接口。
Sync Storage server in Rust
lettura 是用 TypeScript 编写的桌面应用,用于桌面端程序开发。
another rss reader
emacs-ng 是用 Emacs Lisp 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打异步并发。
A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.
kanban-app 是用 Rust 编写的桌面应用,用于桌面端程序开发。
Kanban board built with Rust and Elm
skills-hub 是用 Rust 编写的 AI 工具,用于大模型与智能体应用开发,主打跨平台。
A cross-platform desktop app to manage Agent Skills in one place and sync them to multiple AI coding tools’ global skills directories — “Install onc…
NipaPlay-Reload 是一个现代化的跨平台本地视频播放器,支持 Windows、macOS、Linux、Android 和 iOS。集成了弹幕显示、多格式字幕支持、多音频轨道切换,新番查看等功能,支持挂载Emby/Jellyf…
NipaPlay-Reload 是一个现代化的跨平台本地视频播放器,支持 Windows、macOS、Linux、Android 和 iOS。集成了弹幕显示、多格式字幕支持、多音频轨道切换,新番查看等功能,支持挂载Emby/Jellyfin媒体库。采用 Flutter +rust开发,提供统一的…
oreboot 是用 Rust 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打实现清晰。
oreboot is a fork of coreboot, with C removed, written in Rust.
enigo 是用 Rust 编写的测试工具,用于自动化测试与验证,主打跨平台。
Cross platform input simulation in Rust
videocall-rs 是用 Rust 编写的多媒体工具,用于处理音视频内容,主打实现清晰。
media streaming framework and teleconferencing system written in rust
whisper-turbo 是用 TypeScript 编写的学习资料,用于系统学习与查阅,主打跨平台。
Cross-Platform, GPU Accelerated Whisper 🏎️
agent-desktop 是用 Rust 编写的 AI 工具,用于大模型与智能体应用开发,主打适合生产环境。
Agent Desktop gives any agent reliable computer use on the desktop. Built with Rust, it sees any app's real UI structure through OS accessibility tr…
RustPrimer 是用 Rust 编写的学习资料,用于系统学习与查阅。
The Rust primer for beginners. We need native English speaker help us modify the translation.
driftwm 是用 Rust 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
A trackpad-first infinite canvas Wayland compositor.
rmk 是用 Rust 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打易用、功能完整、现代化。
A modern, easy-to-use, and feature-rich keyboard firmware written in Rust.
termpair 是用 Rust 编写的命令行工具,在终端中直接使用。
View and control terminals from your browser with end-to-end encryption 🔒
nutype 是用 Rust 编写的学习资料,用于系统学习与查阅。
Rust newtype with guarantees 🇺🇦 🦀
rpds 是用 Rust 编写的学习资料,用于系统学习与查阅。
Rust persistent data structures
rustworkx 是用 Rust 编写的开发框架,用于搭建服务端与接口,主打高性能、实现清晰。
A high performance Python graph library implemented in Rust.
kanal 是用 Rust 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打速度快、异步并发。
The fast sync and async channel that Rust deserves
pydantic-core 是用 Python 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打实现清晰。
Core validation logic for pydantic written in rust
sea-query 是用 Rust 编写的数据库工具,用于数据存储与查询。
🔱 A dynamic SQL query builder for MySQL, Postgres and SQLite
mermaid-rs-renderer 是用 Rust 编写的可视化工具,用于图表与数据展示,主打速度快。
A fast native Rust Mermaid diagram renderer. No browser required. 500-1000x faster than mermaid-cli.
项目列表来自 GitHub 官方 Search API(stars:>1000)。单个查询最多只能返回前 1000 条,所以「同步热门」取到的是星标最高的 1000 个;要拿全量必须按星标区间拆成多个查询——本站会先查各区间的真实数量再自动切分(1k–2k 约 3.2 万个,2k–5k 约 2.1 万个,5k–20k 约 1 万个,2 万以上约 2300 个)。GitHub 上星标过千的公开仓库当前约 66,081 个,本站已收录 65,741 个。星标、简介、语言与主题均为 GitHub 原始字段,未做人工逐一核验。
中文介绍分三种来源,卡片与详情页均有标注:热门项目使用本站人工维护的条目;其余项目由程序依据语言、主题、简介中的特征词与项目数据自动生成;仓库原简介本身是中文时直接引用原文。自动生成的介绍只是对公开字段的归纳,不代表项目方表述,也不构成选型结论。
每日推荐按北京时间每天从星标 6000 以上、近 18 个月仍有提交且未归档的项目中选取,排除近 120 天已推荐过的项目,同一天内结果固定。推荐结果由规则引擎(或配置的大模型)生成,不构成选型结论。
每天每台设备可免费检索 3 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。