agda 是用 Haskell 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Agda is a dependently typed programming language / interactive theorem prover.
traefik
云原生反向代理与网关,自动发现服务并签发证书。目前累计 6.6 万 star、6.3k fork,在本地项目库中星标排名约第 333 / 65860,主要语言为 Go,项目始于 2015 年,采用 MIT 许可。最近状态:本周仍有提交。
适合谁:推荐给运维与平台工程师:涉及 consul、docker、gateway、gatewayapi 方向。
按累计星标排序,库内共 65,938 个项目(GitHub 上星标 ≥ 1k 的公开仓库约 66,460 个)。
优先使用本地记录的星标快照计算近 7 天真实增量;快照不足 7 天时,按「创建以来日均获星」估算,数值旁会标注口径。
已收录 GitHub 星标过千的公开项目,附原始简介、语言、主题与活跃度。用一句自然语言描述需求,即可获得 AI 推荐。
agda 是用 Haskell 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Agda is a dependently typed programming language / interactive theorem prover.
babel-eslint 是用 JavaScript 编写的工程工具,用于代码分析、构建与打包。
:tokyo_tower: A wrapper for Babel's parser used for ESLint (renamed to @babel/eslint-parser)
quietnet 是用 Jupyter Notebook 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打易用。
Simple chat program that communicates using inaudible sounds
alacritty-theme 是用 Shell 编写的资源清单,按主题汇总同类优质资源。
Collection of Alacritty color schemes
awesomefluttertips 是用 Dart 编写的资源清单,按主题汇总同类优质资源。
❤️ Awesome Flutter Tips and Tricks ❤️
rich-markdown-editor 是用 TypeScript 编写的编辑器工具,用于代码与文本编辑,主打开源免费。
The open source React and Prosemirror based markdown editor that powers Outline. Want to try it out? Create an account:
SpringMVC 和 MyBatis 学习笔记,搭配示例,主要讲解一些基础的概念、用法和配置
SpringMVC 和 MyBatis 学习笔记,搭配示例,主要讲解一些基础的概念、用法和配置
cli-spinners 是用 JavaScript 编写的命令行工具,在终端中直接使用。
Spinners for use in the terminal
EventEmitter2 是用 JavaScript 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
A nodejs event emitter implementation with namespaces, wildcards, TTL, works in the browser
Quicksilver 是用 Objective-C 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Quicksilver Project Source
inspektor-gadget 是用 C 编写的运维工具,用于部署、编排与监控。
Inspektor Gadget is a set of tools and framework for data collection and system inspection on Kubernetes clusters and Linux hosts using eBPF
cli 是用 TypeScript 编写的移动端方案,用于移动应用开发。
The React Native Community CLI — Command line tools to help you build React Native apps
vue-patterns 是一个前端库,用于构建 Web 页面与界面。
Useful Vue patterns, techniques, tips and tricks and helpful curated links.
awesome-wechat-weapp 是用 JavaScript 编写的资源清单,按主题汇总同类优质资源。
Nuwa 是用 Java 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Nuwa, pure java implementation, can hotfix your android application.
java-code-styles 是用 Shell 编写的编码规范,约定代码风格与最佳实践。
IntelliJ IDEA code style settings for Square's Java and Android projects.
pdfkit 是用 Ruby 编写的命令行工具,在终端中直接使用。
A Ruby gem to transform HTML + CSS into PDFs using the command-line utility wkhtmltopdf
SimpleTuner 是用 Python 编写的 AI 工具,用于人工智能方向的建模与推理。
A general fine-tuning kit geared toward image/video/audio diffusion models.
tfs 是用 Rust 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Mirror of https://gitlab.redox-os.org/redox-os/tfs
Stellar 是用 Swift 编写的移动端方案,用于移动应用开发。
A fantastic Physical animation library for swift
Git-Credential-Manager-for-Windows 是用 C# 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打注重安全。
Secure Git credential storage for Windows with support for Visual Studio Team Services, GitHub, and Bitbucket multi-factor authentication.
gopdf 是用 Go 编写的代码库,提供可直接复用的能力,主打易用、实现清晰。
A simple library for generating PDF written in Go lang
node-windows 是用 JavaScript 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Windows support for Node.JS scripts (daemons, eventlog, UAC, etc).
项目列表来自 GitHub 官方 Search API(stars:>1000)。单个查询最多只能返回前 1000 条,所以「同步热门」取到的是星标最高的 1000 个;要拿全量必须按星标区间拆成多个查询——本站会先查各区间的真实数量再自动切分(1k–2k 约 3.2 万个,2k–5k 约 2.1 万个,5k–20k 约 1 万个,2 万以上约 2300 个)。GitHub 上星标过千的公开仓库当前约 66,460 个,本站已收录 65,938 个。星标、简介、语言与主题均为 GitHub 原始字段,未做人工逐一核验。
中文介绍分三种来源,卡片与详情页均有标注:热门项目使用本站人工维护的条目;其余项目由程序依据语言、主题、简介中的特征词与项目数据自动生成;仓库原简介本身是中文时直接引用原文。自动生成的介绍只是对公开字段的归纳,不代表项目方表述,也不构成选型结论。
每日推荐按北京时间每天从星标 6000 以上、近 18 个月仍有提交且未归档的项目中选取,排除近 120 天已推荐过的项目,同一天内结果固定。推荐结果由规则引擎(或配置的大模型)生成,不构成选型结论。
每天每台设备可免费检索 3 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。