Redux对于JavaScript应用而言是一个可预测状态的容器。换言之，它是一个应用数据流框架，而不是传统的像underscore.js或者AngularJs那样的库或者框架。

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

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

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

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

jsTree是基于javascript的一个跨浏览器树控件，功能强大，而且是免费的。

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

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

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

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