H3：六边形分层地理空间索引系统
H3 是 Uber 开源的六边形网格地理空间索引系统，可将地球表面划分为可逐级细分的六边形单元，用于空间数据的编码、聚合与邻域分析。
Astronomy：为 Meteor 应用引入模型层
Astronomy 是 Meteor 框架的模型层扩展包，通过 schema 为 MongoDB 文档定义字段类型、校验与行为，减少手写校验和更新逻辑。
MathUtilities：Unity 数学与物理工具集
一个用 C# 实现的数学与物理技巧集合，提供网格变形、距离场渲染、点云配准、拟合与滤波等可直接复用的算法实现。
FreeCAD：开源参数化三维建模工具
FreeCAD 是一款开源、跨平台的三维参数化建模软件，用于设计任意尺寸的真实物体，支持产品设计、机械工程与建筑等场景。
Scanpy：Python 单细胞基因表达数据分析工具包
Scanpy 是与 anndata 共同构建的单细胞基因表达数据分析工具包，覆盖预处理、可视化、聚类、轨迹推断与差异表达检验。
Insect：支持物理单位的高精度科学计算器
Insect 是一个支持物理单位的高精度科学计算器，可在终端或网页中使用，帮助科研人员快速进行带单位的数学表达式求值与单位换算。
pandas：Python 中的标签化数据分析与处理库
pandas 是 Python 的表格数据分析库，提供 Series 与 DataFrame 等带标签数据结构，用于缺失值处理、对齐、分组聚合、合并与时间序列等日常数据处理任务。
GATK：基因组分析工具集
GATK 是面向二代测序数据的开源基因组分析工具集，提供变异发现与基因分型等流程，支持本地与云端并行运行。
PhySO：面向物理的符号优化工具
PhySO 是一个基于深度强化学习的符号回归工具，用于从数据中推断解析物理定律，并支持物理单位约束与多数据集联合搜索。
OpenHealth：本地运行的个人健康数据 AI 助手
OpenHealth 是一个开源 AI 健康助手，将个人健康数据集中管理并结构化，作为上下文与多种大模型对话，支持完全本地运行以保护隐私。
