milewski-ctfp-pdf 是用 TeX 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
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 推荐。
milewski-ctfp-pdf 是用 TeX 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
reason 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打速度快、易用、类型安全。
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
awesomo 是用 Markdown 编写的资源清单,按主题汇总同类优质资源,主打开源免费。
Cool open source projects. Choose your project and get involved in Open Source development now.
revery 是用 Reason 编写的移动端方案,用于移动应用开发,主打高性能、跨平台。
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
oni2 是用 Reason 编写的编辑器工具,用于代码与文本编辑,主打轻量。
Native, lightweight modal code editor
pyre-check 是用 OCaml 编写的安全工具,面向安全研究与防护,主打高性能。
Performant type-checking for python.
ocaml 是用 OCaml 编写的工程工具,用于代码分析、构建与打包。
The core OCaml system: compilers, runtime system, base libraries
google-drive-ocamlfuse 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
FUSE filesystem over Google Drive
extism 是用 Rust 编写的前端库,用于构建 Web 页面与界面,主打可扩展。
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
klipse 是用 HTML 编写的编辑器工具,用于代码与文本编辑。
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
awesome-ocaml 是一个资源清单,按主题汇总同类优质资源。
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
FStar 是用 F* 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
A Proof-oriented Programming Language
mirage 是用 OCaml 编写的系统软件,属于操作系统或底层系统软件。
MirageOS is a library operating system that constructs unikernels
bap 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Binary Analysis Platform
mina 是用 OCaml 编写的区块链项目,面向链上应用开发,主打注重安全。
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
irmin 是用 OCaml 编写的数据库工具,用于数据存储与查询,主打可伸缩。
Irmin is a distributed database that follows the same design principles as Git
dune 是用 OCaml 编写的工程工具,用于代码分析、构建与打包。
A composable build system for OCaml.
dream 是用 OCaml 编写的开发框架,用于搭建服务端与接口。
Tidy, feature-complete Web framework
merlin 是用 OCaml 编写的编辑器工具,用于代码与文本编辑。
Context sensitive completion for OCaml in Vim and Emacs
nodebook 是用 Go 编写的命令行工具,在终端中直接使用。
Nodebook - Multi-Lang Web REPL + CLI Code runner
tezos 是一个区块链项目,面向链上应用开发。
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
opam 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打可扩展。
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly d…
stategraph 是用 OCaml 编写的运维工具,用于部署、编排与监控。
Terraform without the state file bottleneck
SATySFi 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
A statically-typed, functional typesetting system
项目列表来自 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 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。