groovy 是用 Groovy 编写的工程工具,用于代码分析、构建与打包,主打功能完整。
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
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 推荐。
groovy 是用 Groovy 编写的工程工具,用于代码分析、构建与打包,主打功能完整。
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
plt 是用 CSS 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Programming Language Theory λΠ
unit 是用 TypeScript 编写的前端库,用于构建 Web 页面与界面。
Next Generation Visual Programming System
Android-CleanArchitecture-Kotlin 是用 Kotlin 编写的移动端方案,用于移动应用开发。
This is a movies sample app in Kotlin, which is part of a serie of blog posts I have written about architecting android application using different …
scalaz 是用 Scala 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Principled Functional Programming in Scala
zio 是用 Scala 编写的代码库,提供可直接复用的能力,主打类型安全、异步并发。
ZIO — A type-safe, composable library for async and concurrent programming in Scala
returns 是用 Python 编写的插件扩展,用于扩展宿主程序能力。
Make your functions return something meaningful, typed, and safe!
coconut 是用 Python 编写的工程工具,用于代码分析、构建与打包,主打易用、界面美观。
Simple, elegant, Pythonic functional programming.
fsharp 是用 F# 编写的工程工具,用于代码分析、构建与打包。
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
stegcloak 是用 JavaScript 编写的安全工具,面向安全研究与防护。
Hide secrets with invisible characters in plain text securely using passwords 🧙🏻♂️⭐
umbrella 是用 TypeScript 编写的学习资料,用于系统学习与查阅。
⛱ Broadly scoped ecosystem & mono-repository of 215 TypeScript projects (and ~185 examples) for general purpose, functional, data driven development
Kind 是用 Haskell 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打现代化。
A modern proof language
funcy 是用 Python 编写的实用工具,用于解决具体场景问题。
A fancy and practical functional tools lib
grain 是用 Reason 编写的工程工具,用于代码分析、构建与打包,主打现代化。
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
shapeless 是用 Scala 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Generic programming for Scala
jank 是用 C++ 编写的移动端方案,用于移动应用开发。
jank is the native Clojure dialect with seamless C++ interop.
Swiftz 是用 Swift 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Functional programming in Swift
faust 是用 C++ 编写的多媒体工具,用于处理音视频内容。
Functional programming language for signal processing and sound synthesis
ivy-wallet 是用 Kotlin 编写的移动端方案,用于移动应用开发,主打开源免费。
Ivy Wallet is an open-source money manager app for Android, no longer maintained. You can fork the code or download the final version from Google Pl…
Rich-Hickey-fanclub 是用 HTML 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
"every time I watch one of his talks I feel like someone has gone in and organized my brain"
thinc 是用 Python 编写的 AI 工具,用于人工智能方向的建模与推理。
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
CSharpFunctionalExtensions 是用 C# 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Functional extensions for C#
wiwinwlh 是用 Haskell 编写的学习资料,用于系统学习与查阅。
What I Wish I Knew When Learning Haskell
scala-exercises 是用 Scala 编写的学习资料,用于系统学习与查阅,主打易用。
The easy way to learn Scala.
项目列表来自 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 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。