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

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

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

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

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

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

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

Vearch 是一个分布式向量搜索系统，可以用来计算向量相似度，或用于机器学习领域，如：图像识别、视频识别或自然语言处理等各个领域。

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

Sogou C++ Workflow 是搜狗公司的 C++ 服务器引擎，支撑搜狗几乎所有后端 C++ 在线服务，包括所有搜索服务、云输入法与在线广告等，每日处理超百亿请求