prospector 是用 Python 编写的工程工具,用于代码分析、构建与打包。
Inspects Python source files and provides information about type and location of classes, methods etc
ggml-org
用 C/C++ 实现的大模型推理引擎,主打本地与低资源环境运行。目前累计 13.3 万 star、2.5 万 fork,在本地项目库中星标排名约第 83 / 65744,主要语言为 C++,项目始于 2023 年,采用 MIT 许可。最近状态:本周仍有提交。
适合谁:推荐给做 AI 应用的开发者:涉及 ggml 方向。
按累计星标排序,库内共 65,746 个项目(GitHub 上星标 ≥ 1k 的公开仓库约 66,093 个)。
优先使用本地记录的星标快照计算近 7 天真实增量;快照不足 7 天时,按「创建以来日均获星」估算,数值旁会标注口径。
已收录 GitHub 星标过千的公开项目,附原始简介、语言、主题与活跃度。用一句自然语言描述需求,即可获得 AI 推荐。
prospector 是用 Python 编写的工程工具,用于代码分析、构建与打包。
Inspects Python source files and provides information about type and location of classes, methods etc
go-critic 是用 Go 编写的工程工具,用于代码分析、构建与打包。
The most opinionated Go source code linter for code audit.
luacheck 是用 Lua 编写的工程工具,用于代码分析、构建与打包。
A tool for linting and static analysis of Lua code.
SublimeLinter 是用 Python 编写的工程工具,用于代码分析、构建与打包。
The code linting framework for Sublime Text
jupyterlab-lsp 是用 TypeScript 编写的开发框架,用于搭建服务端与接口。
Coding assistance for JupyterLab (code navigation + hover suggestions + linters + autocompletion + rename) using Language Server Protocol
validator 是用 Java 编写的工程工具,用于代码分析、构建与打包。
The Nu Html Checker (vnu)
verible 是用 C++ 编写的工程工具,用于代码分析、构建与打包。
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
clj-kondo 是用 Clojure 编写的工程工具,用于代码分析、构建与打包。
Static analyzer and linter for Clojure code that sparks joy
cpplint 是用 Python 编写的工程工具,用于代码分析、构建与打包。
Linter for C++ based on Google's style guide
joker 是用 Go 编写的工程工具,用于代码分析、构建与打包,主打轻量。
Small Clojure interpreter, linter and formatter.
dep-tree 是用 Go 编写的命令行工具,在终端中直接使用。
Tool for helping developers keep their code bases clean and decoupled. It allows visualising a code base complexity using a 3d force-directed graph …
autocorrect 是用 Rust 编写的工程工具,用于代码分析、构建与打包。
A linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).
godot-gdscript-toolkit 是用 Python 编写的工程工具,用于代码分析、构建与打包。
Independent set of GDScript tools - parser, linter, formatter, and more
quick-lint-js 是用 C++ 编写的工程工具,用于代码分析、构建与打包,主打速度快。
quick-lint-js finds bugs in JavaScript programs
rumdl 是用 Rust 编写的工程工具,用于代码分析、构建与打包,主打速度快、实现清晰。
Fast Markdown linter and formatter written in Rust
redocly-cli 是用 TypeScript 编写的测试工具,用于自动化测试与验证,主打易用、界面美观。
⚒️ Redocly CLI makes OpenAPI easy. Lint/validate to any standard, generate beautiful docs, and more.
pyflakes 是用 Python 编写的工程工具,用于代码分析、构建与打包,主打易用。
A simple program which checks Python source files for errors
sqruff 是用 Rust 编写的数据库工具,用于数据存储与查询,主打速度快。
Fast SQL formatter/linter
tailor 是用 Java 编写的工程工具,用于代码分析、构建与打包,主打跨平台。
Cross-platform static analyzer and linter for Swift.
best-of-python-dev 是用 Python 编写的工程工具,用于代码分析、构建与打包。
🏆 A ranked list of awesome python developer tools and libraries. Updated weekly.
phpat 是用 PHP 编写的测试工具,用于自动化测试与验证,主打易用。
✔️ PHP Architecture Tester - Easy architecture testing for PHP
checkmake 是用 Go 编写的工程工具,用于代码分析、构建与打包。
Linter/analyzer for Makefiles
squawk 是用 Rust 编写的数据库工具,用于数据存储与查询。
🐘 Linter for Postgres migrations & SQL
项目列表来自 GitHub 官方 Search API(stars:>1000)。单个查询最多只能返回前 1000 条,所以「同步热门」取到的是星标最高的 1000 个;要拿全量必须按星标区间拆成多个查询——本站会先查各区间的真实数量再自动切分(1k–2k 约 3.2 万个,2k–5k 约 2.1 万个,5k–20k 约 1 万个,2 万以上约 2300 个)。GitHub 上星标过千的公开仓库当前约 66,093 个,本站已收录 65,746 个。星标、简介、语言与主题均为 GitHub 原始字段,未做人工逐一核验。
中文介绍分三种来源,卡片与详情页均有标注:热门项目使用本站人工维护的条目;其余项目由程序依据语言、主题、简介中的特征词与项目数据自动生成;仓库原简介本身是中文时直接引用原文。自动生成的介绍只是对公开字段的归纳,不代表项目方表述,也不构成选型结论。
每日推荐按北京时间每天从星标 6000 以上、近 18 个月仍有提交且未归档的项目中选取,排除近 120 天已推荐过的项目,同一天内结果固定。推荐结果由规则引擎(或配置的大模型)生成,不构成选型结论。
每天每台设备可免费检索 3 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。