289
CompCert 是用 Rocq Prover 编写的工程工具，用于代码分析、构建与打包。
The CompCert formally-verified C compiler
每日推荐 · 2026-11-01
学习资料
中文介绍 · 人工维护
yangshun
tech-interview-handbook
面向忙碌工程师的面试准备资料，含算法、行为面试与简历建议。目前累计 14.3 万 star、1.7 万 fork，在本地项目库中星标排名约第 72 / 65730，主要语言为 TypeScript，项目始于 2016 年，采用 MIT 许可。最近状态：近半年有提交。
适合谁：推荐给想补齐某块知识的开发者：涉及 algorithm、algorithm-interview、algorithm-interview-questions、algorithms 方向。
TOP BY STARS
完整榜单 →星标榜
01
build-your-own-xcodecrafters-io通过亲手重新实现 Redis、Git、Docker 等经典系统来学习编程，是一份「从零造轮子」的实践教程合集，适合想补底层原理的开发者。
★ 553k02
awesomesindresorhusGitHub 上 awesome 系列清单的总目录，按主题索引各类精选资源，是检索开源工具的常用入口。
★ 519k03
public-apispublic-apis免费公开 API 汇总清单，按领域分类整理，适合练手、做原型或找数据源。
★ 494k04
freeCodeCampfreeCodeCamp免费编程学习社区与其开源课程代码库，包含前端、数据科学、算法等完整认证课程与上万道练习题。
★ 458k05
reamorlutorea 是用 TypeScript 编写的 AI 工具，用于大模型与智能体应用开发。
★ 415k06
free-programming-booksEbookFoundation免费编程电子书清单，覆盖数十种语言与方向，并单独整理了中文书目。
★ 401k07
openclawopenclawopenclaw 是用 TypeScript 编写的知识管理工具，用于笔记与知识库整理。
★ 394k08
system-design-primerdonnemartin系统设计入门与面试指南，讲解大型分布式系统的设计思路，并附带 Anki 记忆卡片。
★ 374k09
developer-roadmapnilbuild交互式开发者成长路线图，给出前端、后端、DevOps 等方向的学习路径与推荐资源。
★ 371k10
coding-interview-universityjwasham一份完整的计算机科学自学计划，用于准备软件工程师面试，涵盖数据结构、算法与系统设计。
★ 362k11
awesome-selfhostedawesome-selfhosted可自托管的开源服务与 Web 应用清单，是自建服务时最常用的检索目录。
★ 332k12
awesome-pythonvintaPython 生态精选清单，按用途归类常用库与框架，回答「想做某件事该用哪个库」。
★ 332k13
superpowersobrasuperpowers 是用 Shell 编写的 AI 工具，用于大模型与智能体应用开发。
★ 310k14
skillsmattpocockskills 是用 Shell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
★ 308k15
ECCaffaan-mECC 是用 JavaScript 编写的 AI 工具，用于大模型与智能体应用开发，主打注重安全。
★ 294k16
project-based-learningpractical-tutorials项目驱动学习教程合集，通过一步步做完整项目来掌握一门技术。
★ 289k17
996.ICU996icu记录并讨论「996 工作制」现象的知名仓库，收录相关企业名单与开源许可协议。
★ 277k18
deepseek-harnessdeepseek-aideepseek-harness 是用 TypeScript 编写的 AI 工具，用于大模型与智能体应用开发。
★ 267k19
hermes-agentNousResearchhermes-agent 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
★ 259k20
linuxtorvaldsLinux 内核源码树，是全球使用最广的操作系统内核的官方参考实现。
★ 254k21
reactreactReact 官方仓库，用于构建 Web 与原生用户界面的前端库，以组件化和声明式渲染著称。
★ 252k22
the-book-of-secret-knowledgetrimstray安全与运维方向的清单、手册、速查表与工具合集，内容覆盖面很广。
★ 250k23
PythonTheAlgorithms用 Python 实现的各种算法与数据结构，代码简洁并附说明，适合入门与复习。
★ 226k24
opencodeanomalyco开源的 AI 编码智能体，在终端中运行，可以理解代码库并直接执行修改。
★ 224k25
andrej-karpathy-skillsmultica-aiandrej-karpathy-skills 是一个 AI 模型，提供可直接使用的模型与权重。
★ 220k26
vuevuejsVue 2 的官方仓库（Vue 3 已迁移至 vuejs/core），渐进式前端框架。
★ 213k27
computer-scienceossu计算机科学自学课程体系，按大学课程顺序组织免费公开教材与作业。
★ 210k28
n8nn8n-io可视化工作流自动化平台，内置 AI 能力，支持数百种服务集成，可自托管部署。
★ 209k29
yt-dlpyt-dlp功能丰富的命令行音视频下载工具，支持上千个站点，是 youtube-dl 的活跃维护分支。
★ 204k30
FreeDomainDigitalPlatDevFreeDomain 是用 Markdown 编写的学习资料，用于系统学习与查阅，主打开源免费。
★ 204k31
tensorflowtensorflowGoogle 开源的机器学习框架，覆盖模型训练、部署与移动端推理，生态庞大。
★ 201k32
firecrawlfirecrawl为 AI 应用提供网页抓取、清洗与结构化提取能力的服务与库，可自托管。
★ 197k33
javascript-algorithmstrekhleb用 JavaScript 实现的算法与数据结构，每个算法都配有讲解与延伸阅读。
★ 197k34
Microsoft-Activation-ScriptsmassgravelMicrosoft-Activation-Scripts 是用 Batchfile 编写的命令行工具，在终端中直接使用，主打开源免费。
★ 196k35
claw-codeultraworkersclaw-code 是用 Rust 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
★ 195k36
vscodemicrosoftVisual Studio Code 编辑器源码，微软开源的跨平台代码编辑器。
★ 194k37
markitdownmicrosoft把 PDF、Office 文档、图片、音频等文件统一转换为 Markdown 的 Python 工具，便于喂给大模型。
★ 193k38
awesome-goavelinoGo 语言生态精选清单，收录框架、库与软件的分类索引。
★ 191k39
ohmyzshohmyzsh社区驱动的 zsh 配置管理框架，内置大量插件与主题，开箱即用。
★ 190k40
AutoGPTSignificant-Gravitas自主 AI 智能体的早期代表项目，可自主拆解目标并连续执行任务。
★ 188k41
Python-100-Daysjackfrued《Python - 100 天从新手到大师》中文教程，从语法基础讲到实战项目，配套代码完整。
★ 187k42
CS-NotesCyC2018中文技术面试笔记，覆盖操作系统、计算机网络、数据库、分布式、系统设计等方向。
★ 186k43
HelloGitHub521xueweihan中文开源项目推荐月刊，每月分享 GitHub 上有趣、易上手的入门级项目。
★ 186k44
skillsanthropicsskills 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
★ 186k45
ollamaollama在本地一键运行大模型的工具，支持 DeepSeek、Qwen、Gemma 等主流开源模型。
★ 185k46
You-Dont-Know-JSgetify深入讲解 JavaScript 语言机制的系列电子书，涵盖作用域、类型、异步等核心主题。
★ 185k47
ponytailDietrichGebertponytail 是用 JavaScript 编写的 AI 工具，用于大模型与智能体应用开发。
★ 181k48
flutterflutterGoogle 的跨平台 UI 框架，一套代码可构建移动端、桌面与 Web 应用。
★ 181k49
gitignoregithub各类语言与框架的 .gitignore 模板集合，新建项目时可直接取用。
★ 176k50
prompts.chatf提示词分享与收集站点（原 Awesome ChatGPT Prompts），可直接使用和投稿。
★ 175k
按累计星标排序，库内共 65,735 个项目（GitHub 上星标 ≥ 1k 的公开仓库约 66,070 个）。
RISING FAST
完整榜单 →飙升榜
01
reamorlutorea 是用 TypeScript 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +97,352实测02
cleanyourtvGathin23cleanyourtv 是用 Python 编写的移动端方案，用于移动应用开发。
近 7 天 +44,438实测03
dsh-our-free-modelEbony-Vinyl在 dsh 里装上这个插件即可，无需登录、注册或填 API Key，就能使用包括 DeepSeek V4.1 Flash、Kimi K3 在内的前沿模型——完全免费，不限量。 All you do is install this plu…
近 7 天 +29,941实测04
VoiceStudiodebpalashVoiceStudio 是用 Python 编写的 AI 工具，用于人工智能方向的建模与推理，主打开源免费。
近 7 天 +22,152实测05
DeepInferdeepseek-aiDeepInfer 是用 Python 编写的 AI 工具，用于大模型训练与推理，主打高性能。
近 7 天 +17,781实测06
harness2google-researchharness2 是用 Python 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
近 7 天 +17,402实测07
impeccablepbakausimpeccable 是用 Rust 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +15,527实测08
orcastablyaiorca 是用 TypeScript 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +15,474实测09
ponytailDietrichGebertponytail 是用 JavaScript 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +14,694实测10
deepseek-harnessdeepseek-aideepseek-harness 是用 TypeScript 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +14,491实测11
FileeKnifeLemonFilee 是用 C# 编写的多媒体工具，用于处理音视频内容，主打开源免费。
近 7 天 +13,512实测12
gpu-unlockZagittagpu-unlock 是用 C 编写的 AI 工具，用于大模型训练与推理。
近 7 天 +12,689实测13
skillsmattpocockskills 是用 Shell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
近 7 天 +12,388实测14
graphifyGraphify-Labsgraphify 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +11,805实测15
DeepTutorHKUDSDeepTutor 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +11,075实测16
ECCaffaan-mECC 是用 JavaScript 编写的 AI 工具，用于大模型与智能体应用开发，主打注重安全。
近 7 天 +10,910实测17
hyperframesheygen-comhyperframes 是用 TypeScript 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +10,027实测18
StrataNiko1221Strata 是用 C++ 编写的 AI 工具，用于大模型训练与推理。
近 7 天 +9,713实测19
nxnativeseeddsnxnative 是用 Python 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
近 7 天 +9,560实测20
photocraftstorytoldphotocraft 是用 Rust 编写的编辑器工具，用于代码与文本编辑，主打开源免费。
近 7 天 +8,399实测21
Agent-ReachPanniantongAgent-Reach 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +8,243实测22
freellmapitashfeenahmedfreellmapi 是用 TypeScript 编写的 AI 模型，提供可直接使用的模型与权重，主打开源免费。
近 7 天 +8,226实测23
taste-skillLeonxlnxtaste-skill 是用 JavaScript 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +8,221实测24
ppt-masterhugohe3ppt-master 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +8,217实测25
superpowersobrasuperpowers 是用 Shell 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +7,560实测26
solidcrafttangency-labssolidcraft 是用 Rust 编写的开源项目，主题标签有限，建议打开仓库查看具体用途，主打开源免费。
近 7 天 +7,527实测27
anatomywheresryan22anatomy 是用 JavaScript 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +7,520实测28
opencodeanomalyco开源的 AI 编码智能体，在终端中运行，可以理解代码库并直接执行修改。
近 7 天 +7,413实测29
AnyPS5boykopovarAnyPS5 是用 C++ 编写的代码库，提供可直接复用的能力。
近 7 天 +7,381实测30
TradingAgentsTauricResearchTradingAgents 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +7,153实测31
archifytt-a1iarchify 是用 JavaScript 编写的 AI 工具，用于大模型与智能体应用开发，主打界面美观。
近 7 天 +6,852实测32
aerial-tvpengchujin给国产电视的一块干净桌面：参照 tvOS 设计的开源 Android TV 桌面，没有广告，开机自动接管。A tvOS-style launcher for Xiaomi, TCL and other China-market TVs.
近 7 天 +6,545实测33
ui-ux-pro-max-skillnextlevelbuilderui-ux-pro-max-skill 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +6,259实测34
claude-memthedotmackclaude-mem 是用 TypeScript 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +6,107实测35
ComfyUIComfy-Org节点式图形界面的扩散模型工具，通过连线组合工作流，模块化程度高。
近 7 天 +6,012实测36
diagram-designcathrynlaverydiagram-design 是用 HTML 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +5,960实测37
hindsightvectorize-iohindsight 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +5,857实测38
ghidraNationalSecurityAgencyghidra 是用 Java 编写的安全工具，面向安全研究与防护。
近 7 天 +5,820实测39
awesome-opus5-5-videosyihui-devawesome-opus5-5-videos 是一个资源清单，按主题汇总同类优质资源。
近 7 天 +5,672实测40
andrej-karpathy-skillsmultica-aiandrej-karpathy-skills 是一个 AI 模型，提供可直接使用的模型与权重。
日均 +790.2按日均估算41
paperclippaperclipaipaperclip 是用 TypeScript 编写的 AI 工具，用于大模型与智能体应用开发，主打开源免费。
近 7 天 +5,444实测42
MacNativeGamesly05010419MacNativeGames 是用 C 编写的移动端方案，用于移动应用开发。
近 7 天 +5,361实测43
ai-engineering-from-scratchrohitg00ai-engineering-from-scratch 是用 Python 编写的 AI 工具，用于人工智能方向的建模与推理。
近 7 天 +5,170实测44
skillsemilkowalskiskills 是用 Markdown 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
近 7 天 +5,116实测45
ai-job-searchai-job-search-devai-job-search 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +5,111实测46
humanizerbladerhumanizer 是用 Python 编写的 AI 工具，用于大模型与智能体应用开发。
近 7 天 +4,938实测47
lemo-opuscarlemomo-aiA toolbox of film styles made in code for Claude Code: 59 ready to use, and your own. Each style is a style prompt plu…
近 7 天 +4,847实测48
HowToLiveBettereternity4719高性价比人生指南: 长寿防病、急救、省钱理财、法律红线、失业与工伤、医保社保、恋爱婚育、怀孕育儿、创业与做平台合规、出国与技能。每条写明成本、收益、证据等级和原始出处，只引期刊论文与官方文件。
近 7 天 +4,842实测49
cc-switchfarion1231cc-switch 是用 Rust 编写的 AI 工具，用于大模型与智能体应用开发，主打跨平台。
近 7 天 +4,822实测50
firecrawlfirecrawl为 AI 应用提供网页抓取、清洗与结构化提取能力的服务与库，可自托管。
近 7 天 +4,691实测
优先使用本地记录的星标快照计算近 7 天真实增量；快照不足 7 天时，按「创建以来日均获星」估算，数值旁会标注口径。
GITHUB · STARS ≥ 1K · 一句话检索
从 65,735 个高星开源项目里，
从 65,735 个高星开源项目里，
找到你要的下一个。
已收录 GitHub 星标过千的公开项目，附原始简介、语言、主题与活跃度。用一句自然语言描述需求，即可获得 AI 推荐。
已收录 65,735 个项目 · 更新于 2026/11/1 04:49:
HOT REPOSITORIES
共 541 个项目 · 免费浏览热门项目
Python3068JavaScript2734hacktoberfest2653Android2078React1765人工智能1723golang1535深度学习1471machine-learning1439Rust1375Linux1343Java1286Go1278大模型1267
290
awesome-c 是一个资源清单，按主题汇总同类优质资源。
A curated list of awesome C frameworks, libraries and software.
291
quadsort 是用 C 编写的学习资料，用于系统学习与查阅，主打速度快、适合生产环境。
Quadsort is a branchless stable adaptive mergesort faster than quicksort.
292
SGDK 是用 C 编写的游戏开发项目，用于游戏与引擎开发，主打开源免费。
SGDK - A free and open development kit for the Sega Mega Drive
293
c-ares 是用 C 编写的前端库，用于构建 Web 页面与界面，主打异步并发。
A C library for asynchronous DNS requests
294
295
296
2023年，最新音视频学习资料整理，项目（调试可用），ffmpeg命令手册，文章，编解码论文，视频讲解，面试题全套资料
2023年，最新音视频学习资料整理，项目（调试可用），ffmpeg命令手册，文章，编解码论文，视频讲解，面试题全套资料
297
ios-cmake 是用 CMake 编写的移动端方案，用于移动应用开发。
A CMake toolchain file for iOS/iPadOS, visionOS, macOS, watchOS & tvOS C/C++/Obj-C++ development
298
c 是用 Shell 编写的前端库，用于构建 Web 页面与界面。
Compile and execute C "scripts" in one go!
299
soloud 是用 C 编写的游戏开发项目，用于游戏与引擎开发，主打易用、开源免费。
Free, easy, portable audio engine for games
300
smhasher 是用 C++ 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
Hash function quality and speed tests
301
shad0w 是用 C 编写的运维工具，用于部署、编排与监控。
A post exploitation framework designed to operate covertly on heavily monitored environments
302
DungeonRush 是用 C 编写的游戏开发项目，用于游戏与引擎开发，主打实现清晰。
👾🐍 A opensource game inspired by Snake, written in pure C with SDL
303
kubedoom 是用 C++ 编写的运维工具，用于部署、编排与监控。
Kill Kubernetes pods by playing Id's DOOM!
304
tinn 是用 C 编写的 AI 工具，用于人工智能方向的建模与推理，主打轻量。
A tiny neural network library
305
pocketpy 是用 C 编写的工程工具，用于代码分析、构建与打包，主打现代化。
Portable Python 3.x Interpreter in Modern C for Game Scripting
306
allegro5 是用 C 编写的多媒体工具，用于处理音视频内容。
The official Allegro 5 git repository. Pull requests welcome!
307
umka-lang 是用 C 编写的工程工具，用于代码分析、构建与打包。
Umka: a statically typed embeddable scripting language
308
zlib-ng 是用 C 编写的前端库，用于构建 Web 页面与界面。
zlib replacement with optimizations for "next generation" systems.
309
SOEM 是用 C 编写的自动化工具，用于流程自动化编排，主打易用、开源免费。
Simple Open Source EtherCAT Master
310
lexbor 是用 C 编写的代码库，提供可直接复用的能力，主打开源免费。
Lexbor is development of an open source HTML Renderer library. https://lexbor.com
311
lc3-vm 是用 Makefile 编写的学习资料，用于系统学习与查阅。
Write your own virtual machine for the LC-3 computer!
312
arl 是用 Python 编写的资源清单，按主题汇总同类优质资源。
lists of most popular repositories for most favoured programming languages (according to StackOverflow)
数据来源与边界
项目列表来自 GitHub 官方 Search API（stars:>1000）。单个查询最多只能返回前 1000 条，所以「同步热门」取到的是星标最高的 1000 个；要拿全量必须按星标区间拆成多个查询——本站会先查各区间的真实数量再自动切分（1k–2k 约 3.2 万个，2k–5k 约 2.1 万个，5k–20k 约 1 万个，2 万以上约 2300 个）。GitHub 上星标过千的公开仓库当前约 66,070 个，本站已收录 65,735 个。星标、简介、语言与主题均为 GitHub 原始字段，未做人工逐一核验。
中文介绍分三种来源，卡片与详情页均有标注：热门项目使用本站人工维护的条目；其余项目由程序依据语言、主题、简介中的特征词与项目数据自动生成；仓库原简介本身是中文时直接引用原文。自动生成的介绍只是对公开字段的归纳，不代表项目方表述，也不构成选型结论。
每日推荐按北京时间每天从星标 6000 以上、近 18 个月仍有提交且未归档的项目中选取，排除近 120 天已推荐过的项目，同一天内结果固定。推荐结果由规则引擎（或配置的大模型）生成，不构成选型结论。