TypeStat 是用 TypeScript 编写的前端库,用于构建 Web 页面与界面。
Converts JavaScript to TypeScript and TypeScript to better TypeScript. 🧫
microsoft
Windows 效率工具集,提供窗口管理、批量重命名、取色器等系统增强功能。目前累计 14 万 star、8.7k fork,在本地项目库中星标排名约第 76 / 65722,主要语言为 C,项目始于 2019 年,采用 MIT 许可。最近状态:本周仍有提交。
适合谁:推荐给需要桌面端软件的团队:涉及 advanced-paste、color-picker、command-palette、desktop 方向。
按累计星标排序,库内共 65,729 个项目(GitHub 上星标 ≥ 1k 的公开仓库约 66,044 个)。
优先使用本地记录的星标快照计算近 7 天真实增量;快照不足 7 天时,按「创建以来日均获星」估算,数值旁会标注口径。
已收录 GitHub 星标过千的公开项目,附原始简介、语言、主题与活跃度。用一句自然语言描述需求,即可获得 AI 推荐。
TypeStat 是用 TypeScript 编写的前端库,用于构建 Web 页面与界面。
Converts JavaScript to TypeScript and TypeScript to better TypeScript. 🧫
mutant 是用 Ruby 编写的测试工具,用于自动化测试与验证。
Mutation testing for Ruby. AI writes your code. AI writes your tests. But who tests the tests?
Jar Analyzer - 一个 JAR 包 GUI 分析工具,内置 AI 助手协助分析,支持 JAR DIFF 分析,方法调用关系搜索,方法调用链 DFS 算法分析,模拟 JVM 的污点分析验证 DFS 结果,字符串搜索,Java …
Jar Analyzer - 一个 JAR 包 GUI 分析工具,内置 AI 助手协助分析,支持 JAR DIFF 分析,方法调用关系搜索,方法调用链 DFS 算法分析,模拟 JVM 的污点分析验证 DFS 结果,字符串搜索,Java Web 组件入口分析,CFG 程序分析,JVM 栈帧分析,自…
i18n-tasks 是用 Ruby 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Manage translation and localization with static analysis, for Ruby i18n
gokart 是用 Go 编写的安全工具,面向安全研究与防护。
A static analysis tool for securing Go code
radon 是用 Python 编写的命令行工具,在终端中直接使用。
Various code metrics for Python code
awesome-golang-security 是一个安全工具,面向安全研究与防护,主打注重安全。
Awesome Golang Security resources 🕶🔐
clj-kondo 是用 Clojure 编写的工程工具,用于代码分析、构建与打包。
Static analyzer and linter for Clojure code that sparks joy
Tai-e 是用 Java 编写的安全工具,面向安全研究与防护,主打易用。
An easy-to-learn/use static analysis framework for Java and Android
sobelow 是用 Elixir 编写的安全工具,面向安全研究与防护,主打注重安全。
Security-focused static analysis for the Phoenix Framework
appshark 是用 Kotlin 编写的安全工具,面向安全研究与防护。
Appshark is a static taint analysis platform to scan vulnerabilities in an Android app.
SVF 是用 C++ 编写的开发框架,提供应用开发的基础结构。
Static Value-Flow Analysis Framework for Source Code
anchore-engine 是用 Python 编写的运维工具,用于部署、编排与监控。
A service that analyzes docker images and scans for vulnerabilities
PHP_CodeSniffer 是用 PHP 编写的测试工具,用于自动化测试与验证。
PHP_CodeSniffer tokenizes PHP files and detects violations of a defined set of coding standards.
phpdoc-parser 是用 PHP 编写的测试工具,用于自动化测试与验证。
Next-gen phpDoc parser with support for intersection types and generics
kubesec 是用 Go 编写的运维工具,用于部署、编排与监控,主打注重安全。
Security risk analysis for Kubernetes resources
Awesome-LLMs-for-Vulnerability-Detection 是用 Python 编写的安全工具,面向安全研究与防护,主打功能完整。
The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection — papers ac…
phpinspectionsea 是用 Java 编写的插件扩展,用于扩展宿主程序能力。
A Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)
r2frida 是用 TypeScript 编写的安全工具,面向安全研究与防护。
Radare2 and Frida better together.
panopticon 是用 Rust 编写的安全工具,面向安全研究与防护,主打跨平台。
A libre cross-platform disassembler.
pysonar2 是用 Java 编写的 AI 工具,用于大模型与智能体应用开发。
PySonar2: a semantic indexer for Python with interprocedual type inference
crabviz 是用 TypeScript 编写的编辑器工具,用于代码与文本编辑。
Generate interactive call graphs for various languages
CrossHair 是用 Python 编写的测试工具,用于自动化测试与验证。
An analysis tool for Python that blurs the line between testing and type systems.
项目列表来自 GitHub 官方 Search API(stars:>1000)。单个查询最多只能返回前 1000 条,所以「同步热门」取到的是星标最高的 1000 个;要拿全量必须按星标区间拆成多个查询——本站会先查各区间的真实数量再自动切分(1k–2k 约 3.2 万个,2k–5k 约 2.1 万个,5k–20k 约 1 万个,2 万以上约 2300 个)。GitHub 上星标过千的公开仓库当前约 66,044 个,本站已收录 65,729 个。星标、简介、语言与主题均为 GitHub 原始字段,未做人工逐一核验。
中文介绍分三种来源,卡片与详情页均有标注:热门项目使用本站人工维护的条目;其余项目由程序依据语言、主题、简介中的特征词与项目数据自动生成;仓库原简介本身是中文时直接引用原文。自动生成的介绍只是对公开字段的归纳,不代表项目方表述,也不构成选型结论。
每日推荐按北京时间每天从星标 6000 以上、近 18 个月仍有提交且未归档的项目中选取,排除近 120 天已推荐过的项目,同一天内结果固定。推荐结果由规则引擎(或配置的大模型)生成,不构成选型结论。
每天每台设备可免费检索 3 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。