error-prone 是用 Java 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Catch common Java mistakes as compile-time errors
microsoft
Windows 效率工具集,提供窗口管理、批量重命名、取色器等系统增强功能。目前累计 14 万 star、8.7k fork,在本地项目库中星标排名约第 76 / 65722,主要语言为 C,项目始于 2019 年,采用 MIT 许可。最近状态:本周仍有提交。
适合谁:推荐给需要桌面端软件的团队:涉及 advanced-paste、color-picker、command-palette、desktop 方向。
按累计星标排序,库内共 65,726 个项目(GitHub 上星标 ≥ 1k 的公开仓库约 66,044 个)。
优先使用本地记录的星标快照计算近 7 天真实增量;快照不足 7 天时,按「创建以来日均获星」估算,数值旁会标注口径。
已收录 GitHub 星标过千的公开项目,附原始简介、语言、主题与活跃度。用一句自然语言描述需求,即可获得 AI 推荐。
error-prone 是用 Java 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Catch common Java mistakes as compile-time errors
pyre-check 是用 OCaml 编写的安全工具,面向安全研究与防护,主打高性能。
Performant type-checking for python.
detekt 是用 Kotlin 编写的建站内容平台,用于搭建网站与发布内容。
Static code analysis for Kotlin
go-tools 是用 Go 编写的工程工具,用于代码分析、构建与打包。
Staticcheck - The advanced Go linter
cppcheck 是用 C++ 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
static analysis of C/C++ code
zizmor 是用 Rust 编写的安全工具,面向安全研究与防护。
Static analysis for GitHub Actions (and more)
go-callvis 是用 Go 编写的资源清单,按主题汇总同类优质资源。
Visualize call graph of a Go program using Graphviz
slither 是用 Python 编写的区块链项目,面向链上应用开发。
Static Analyzer for Solidity and Vyper
apkleaks 是用 Python 编写的安全工具,面向安全研究与防护。
Scanning APK file for URIs, endpoints & secrets.
ts-morph 是用 TypeScript 编写的前端库,用于构建 Web 页面与界面。
TypeScript Compiler API wrapper for static analysis and programmatic code changes.
jedi 是用 Python 编写的 AI 工具,用于大模型与智能体应用开发。
Awesome autocompletion, static analysis and refactoring library for python
psalm 是用 PHP 编写的 AI 工具,用于大模型与智能体应用开发,主打注重安全。
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
tslint 是用 TypeScript 编写的前端库,用于构建 Web 页面与界面,主打可扩展。
:vertical_traffic_light: An extensible linter for the TypeScript language
pylint 是用 Python 编写的工程工具,用于代码分析、构建与打包。
It's not just a linter that annoys you!
phan 是用 PHP 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
ghidra-mcp 是用 Java 编写的 AI 工具,用于人工智能方向的建模与推理。
Ghidra MCP Server — 200+ MCP tools for AI-powered reverse engineering. GUI plugin + headless server, lazy tool loading, convention enforcement, batc…
revive 是用 Go 编写的工程工具,用于代码分析、构建与打包,主打速度快、可扩展、界面美观。
🔥 Fast, strict, configurable, extensible, and beautiful linter for Go
pmd 是用 Java 编写的工程工具,用于代码分析、构建与打包,主打可扩展。
An extensible multilanguage static code analyzer.
MobileApp-Pentest-Cheatsheet 是一个移动端方案,用于移动应用开发。
The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application penetration te…
credo 是用 Elixir 编写的工程工具,用于代码分析、构建与打包。
A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
booster 是用 Kotlin 编写的移动端方案,用于移动应用开发。
🚀Optimizer for mobile applications
pytype 是用 Python 编写的前端库,用于构建 Web 页面与界面。
A static type analyzer for Python code
eslint-plugin-vue 是用 TypeScript 编写的前端库,用于构建 Web 页面与界面。
Official ESLint plugin for Vue.js
binsider 是用 Rust 编写的编辑器工具,用于代码与文本编辑。
Analyze ELF binaries like a boss 😼🕵️♂️
项目列表来自 GitHub 官方 Search API(stars:>1000)。单个查询最多只能返回前 1000 条,所以「同步热门」取到的是星标最高的 1000 个;要拿全量必须按星标区间拆成多个查询——本站会先查各区间的真实数量再自动切分(1k–2k 约 3.2 万个,2k–5k 约 2.1 万个,5k–20k 约 1 万个,2 万以上约 2300 个)。GitHub 上星标过千的公开仓库当前约 66,044 个,本站已收录 65,726 个。星标、简介、语言与主题均为 GitHub 原始字段,未做人工逐一核验。
中文介绍分三种来源,卡片与详情页均有标注:热门项目使用本站人工维护的条目;其余项目由程序依据语言、主题、简介中的特征词与项目数据自动生成;仓库原简介本身是中文时直接引用原文。自动生成的介绍只是对公开字段的归纳,不代表项目方表述,也不构成选型结论。
每日推荐按北京时间每天从星标 6000 以上、近 18 个月仍有提交且未归档的项目中选取,排除近 120 天已推荐过的项目,同一天内结果固定。推荐结果由规则引擎(或配置的大模型)生成,不构成选型结论。
每天每台设备可免费检索 3 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。