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

nmap — 网络探测工具和安全/端口扫描器

VuePress 是一个以 Markdown 为中心的静态网站生成器。你可以使用 Markdown 来书写内容（如文档、博客等），然后 VuePress 会帮助你生成一个静态网站来展示它们。

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

一个可管理、可度量、可追踪的 Node.js 应用管理器

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

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

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

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

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