mint 是用 Crystal 编写的工程工具,用于代码分析、构建与打包。
🍃 A refreshing programming language for the front-end web.
microsoft
Visual Studio Code 编辑器源码,微软开源的跨平台代码编辑器。目前累计 19.4 万 star、4.5 万 fork,在本地项目库中星标排名约第 36 / 65707,主要语言为 TypeScript,项目始于 2015 年,采用 MIT 许可。最近状态:本周仍有提交。
适合谁:推荐给写代码与文档的人:涉及 editor、electron、microsoft、typescript 方向。
按累计星标排序,库内共 65,712 个项目(GitHub 上星标 ≥ 1k 的公开仓库约 65,980 个)。
优先使用本地记录的星标快照计算近 7 天真实增量;快照不足 7 天时,按「创建以来日均获星」估算,数值旁会标注口径。
已收录 GitHub 星标过千的公开项目,附原始简介、语言、主题与活跃度。用一句自然语言描述需求,即可获得 AI 推荐。
mint 是用 Crystal 编写的工程工具,用于代码分析、构建与打包。
🍃 A refreshing programming language for the front-end web.
lmql 是用 Python 编写的 AI 模型,提供可直接使用的模型与权重。
A language for constraint-guided and efficient LLM programming.
bhai-lang 是用 TypeScript 编写的工程工具,用于代码分析、构建与打包,主打实现清晰。
A toy programming language written in Typescript
ballerina-lang 是用 Ballerina 编写的运维工具,用于部署、编排与监控。
The Ballerina Programming Language
tengo 是用 Go 编写的前端库,用于构建 Web 页面与界面,主打速度快。
A fast script language for Go
精心收集并分类整理的Swift开发学习资源,包括Apple官方提供的示例代码和文档,以及github上的项目和国内外开发者的技术博客。欢迎提交pull-request一起维护。https://t.me/SwiftCN QQ交流群 329…
精心收集并分类整理的Swift开发学习资源,包括Apple官方提供的示例代码和文档,以及github上的项目和国内外开发者的技术博客。欢迎提交pull-request一起维护。https://t.me/SwiftCN QQ交流群 32958950 申请请注明开发经验
locutus 是用 TypeScript 编写的前端库,用于构建 Web 页面与界面。
Bringing stdlibs of other programming languages to TypeScript for fun
P 是用 C# 编写的测试工具,用于自动化测试与验证。
The P programming language.
dafny 是用 C# 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Dafny is a verification-aware programming language
gluon 是用 Rust 编写的 AI 工具,用于大模型与智能体应用开发,主打实现清晰。
A static, type inferred and embeddable language written in Rust.
emojicode 是用 C 编写的工程工具,用于代码分析、构建与打包。
😀😜🔂 World’s only programming language that’s bursting with emojis
jank 是用 C++ 编写的移动端方案,用于移动应用开发。
jank is the native Clojure dialect with seamless C++ interop.
checkedc 是用 C 编写的插件扩展,用于扩展宿主程序能力,主打类型安全。
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily ma…
artichoke 是用 Rust 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
💎 Artichoke is a Ruby made with Rust
awesome-ocaml 是一个资源清单,按主题汇总同类优质资源。
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
FStar 是用 F* 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
A Proof-oriented Programming Language
jakt 是用 C++ 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
The Jakt Programming Language
ispc 是用 C++ 编写的 AI 工具,用于人工智能方向的建模与推理。
Intel® Implicit SPMD Program Compiler
agda 是用 Haskell 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Agda is a dependently typed programming language / interactive theorem prover.
Beef 是用 C++ 编写的编辑器工具,用于代码与文本编辑。
Beef Programming Language
erg 是用 Rust 编写的工程工具,用于代码分析、构建与打包。
A statically typed language compatible with Python
awesome-tensor-compilers 是一个学习资料,用于系统学习与查阅。
A list of awesome compiler projects and papers for tensor computation and deep learning.
numbat 是用 Rust 编写的命令行工具,在终端中直接使用。
A statically typed programming language for scientific computations with first class support for physical dimensions and units
项目列表来自 GitHub 官方 Search API(stars:>1000)。单个查询最多只能返回前 1000 条,所以「同步热门」取到的是星标最高的 1000 个;要拿全量必须按星标区间拆成多个查询——本站会先查各区间的真实数量再自动切分(1k–2k 约 3.2 万个,2k–5k 约 2.1 万个,5k–20k 约 1 万个,2 万以上约 2300 个)。GitHub 上星标过千的公开仓库当前约 65,980 个,本站已收录 65,712 个。星标、简介、语言与主题均为 GitHub 原始字段,未做人工逐一核验。
中文介绍分三种来源,卡片与详情页均有标注:热门项目使用本站人工维护的条目;其余项目由程序依据语言、主题、简介中的特征词与项目数据自动生成;仓库原简介本身是中文时直接引用原文。自动生成的介绍只是对公开字段的归纳,不代表项目方表述,也不构成选型结论。
每日推荐按北京时间每天从星标 6000 以上、近 18 个月仍有提交且未归档的项目中选取,排除近 120 天已推荐过的项目,同一天内结果固定。推荐结果由规则引擎(或配置的大模型)生成,不构成选型结论。
每天每台设备可免费检索 3 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。