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

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

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

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

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

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

LocalStack，功能齐全的本地 AWS 云堆栈。离线开发和测试您的云和无服务器应用程序！

Kubernetes，用于自动部署，扩展和管理容器化应用程序的开源系统。

Kubernetes，用于自动部署，扩展和管理容器化应用程序的开源系统。

Apache Traffic Server (ATS) ，一款高性能、可扩展的 HTTP 反向代理和缓存服务器。