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

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

Kotlin 团队打造的 Web 框架，可用于创建异步、高性能和轻量级的 Web 服务器，并使用 Kotlin 惯用的 API 构建非阻塞的多平台 Web 客户端。

Kotlin 团队打造的 Web 框架，可用于创建异步、高性能和轻量级的 Web 服务器，并使用 Kotlin 惯用的 API 构建非阻塞的多平台 Web 客户端。

OpenKruise 是 Kubernetes 的一个标准扩展，它可以配合原生 Kubernetes 使用，并为管理应用容器、sidecar、镜像分发等方面提供更加强大和高效的能力。

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

linux开源服务器监控解决方案，微服务架构，支持内存，cpu，磁盘，网络流量，系统负载，进程应用等系统指标监控，数据监控，心跳检测

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

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

很高兴能向大家介绍 Gradle, 这是一个构建系统, 我们认为它是 java ( JVM ) 世界中构建技术的一个飞跃. Gradle 提供了: 一个像 Ant 一样的非常灵活的通用构建工具 一种可切换的, 像 maven 一样的基于合约构建的框架 支持强大的多工程构建 支持强大的依赖管理(基于 ApacheIvy ) 支持已有的 maven 和 iv...