1Panel ，一个现代化、开源的 Linux 服务器运维管理面板。

OKD是Kubernetes的一个发行版，针对连续应用程序开发和多租户部署进行了优化。OKD还充当上游代码库，Red Hat OpenShift Online和Red Hat OpenShift容器平台都是基于此构建的。

Ozone 是 Hadoop 的分布式对象存储系统，具有易扩展和冗余存储的特点。Ozone 不仅能存储数十亿个不同大小的对象，还支持在容器化环境（比如 Kubernetes）中运行。

✔️ TypeScript语言用于大规模应用的JavaScript开发。 ✔️ TypeScript支持类型，是JavaScript的超集且可以编译成纯JavaScript代码。 ✔️ TypeScript兼容所有浏览器，所有宿主环境，所有操作系统。 ✔️ TypeScript是开源的。

1Panel ，一个现代化、开源的 Linux 服务器运维管理面板。

1Panel ，一个现代化、开源的 Linux 服务器运维管理面板。

Agda，一种依赖类型编程语言/交互式定理证明器。

Agda，一种依赖类型编程语言/交互式定理证明器。

CrateDB 是一个分布式 SQL 数据库，可以轻松地实时存储和分析大量机器数据。

VuePress，Vue 驱动的静态网站生成器，具有简洁、高性能等特点。