对于在校的学生和已经参加工作的工程师而言，能否以较小的时间和精力比较全面地了解操作系统呢？陆游老夫子说过“纸上得来终觉浅，绝知此事要躬行”，也许在了解基本的操作系统概念和原理基础上，通过实际动手来一步一步分析、设计和实现一个微型化的操作系统，会发现操作系统原来如此，概念原理和实际实现之间有紧密的联系和巨大的差异。

Excelize 是 Go 语言编写的用于操作 Office Excel 文档基础库，基于 ECMA-376，ISO/IEC 29500 国际标准。可以使用它来读取、写入由 Microsoft Excel™ 2007 及以上版本创建的电子表格文档。支持 XLSX / XLSM / XLTM 等多种文档格式，高度兼容带有样式、图片(表)、透视表、切片器等复杂组...

Excelize 是 Go 语言编写的用于操作 Office Excel 文档基础库，基于 ECMA-376，ISO/IEC 29500 国际标准。可以使用它来读取、写入由 Microsoft Excel™ 2007 及以上版本创建的电子表格文档。支持 XLAM / XLSM / XLSX / XLTM / XLTX 等多种文档格式，高度兼容带有样式、图片(...

Excelize 是 Go 语言编写的用于操作 Office Excel 文档基础库，基于 ECMA-376，ISO/IEC 29500 国际标准。可以使用它来读取、写入由 Microsoft Excel™ 2007 及以上版本创建的电子表格文档。支持 XLAM / XLSM / XLSX / XLTM / XLTX 等多种文档格式，高度兼容带有样式、图片(...

Alink是基于Flink的通用算法平台,由阿里巴巴计算平台PAI团队研发。

Alink是基于Flink的通用算法平台,由阿里巴巴计算平台PAI团队研发.

Hana 是一个元编程库，提供异构容器和算法，用于类型和值的计算.

VisualDL是一个面向深度学习任务设计的可视化工具，包含了scalar、参数分布、模型结构、图像可视化等功能，项目正处于高速迭代中，新的组件会不断加入。目前大多数DNN平台均使用Python作为配置语言，VisualDL原生支持python的使用， 通过在模型的Python配置中添加几行，便可以为训练过程提供丰富的可视化支持。除了Python SDK之外...

KiCad 是一款用于创建电子电路原理图和印刷电路板（PCB）的开源软件套件。 KiCad 支持综合设计工作流程，其中原理图和相应的 PCB 一起设计，也支持特殊用途的独立工作流程。 KiCad 还包括一些帮助电路和 PCB 设计的实用程序，包括用于确定电路结构电气属性的 PCB 计算器、用于检查制造文件的 Gerber 浏览器和用于检查电路行为的集成 SP...

Harvester，一种基于 Kubernetes 的开源超融合基础设施 (HCI) 软件。它是使用专有 HCI 堆栈的开放替代方案，该堆栈融合了云原生计算的设计和精神。